Bibliography
Liveness and Reachability for Elementary Object Systems
Michael Köhler-Bußmeier and Frank Heitmann.
Liveness and reachability for elementary object systems.
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+11a,
author = {K{\"o}hler-Bu{\ss}meier, Michael and Heitmann, Frank},
title = {Liveness and Reachability for Elementary Object Systems},
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)},
}
