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 Internationa 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 Internationa Workshop
on Concurrency, Specification, and Programming (CS\&P 2011)},
}
