Skip to content

Activity-Driven Synthesis of State Machines.

Rolf Hennicker, Alexander Knapp

VenueBFASE
Year2007
ProceedingsFASE

Browse the full FASE paper archive.