Bibliography

Restricting Generalised State Machines

Michael Köhler-Bußmeier and Frank Heitmann.
Restricting generalised state machines.
In Marcin Szczuka, Ludwik Czaja, Andrzej Skowron, and Magdalena Kacprzak, editors, Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2011). Biaystok University of Technology, 2011.

BibTeX

@InProceedings{Koehler+11b,
  author =   {K{\"o}hler-Bu{\ss}meier, Michael and Heitmann, Frank},
  title =   {Restricting Generalised State Machines},
  year =         {2011},
  editor =       {Marcin Szczuka and Ludwik Czaja and Andrzej Skowron and Magdalena Kacprzak},
  publisher =    {Bia{\l}ystok University of Technology},
  booktitle =  {Proceedings of the International Workshop
     on Concurrency, Specification, and Programming (CS{\&}P 2011)},
}