| Titel: | Liveness and Reachability for Elementary Object Systems |
| Sprache: | Englisch |
| Autorenschaft: | Köhler-Bußmeier, Michael  Heitmann, Frank |
| Herausgeber*In: | Szczuka, Marcin Czaja, Ludwik Skowron, Andrzej Kacprzak, Magdalena |
| Erscheinungsdatum: | 2011 |
| Verlag: | Politechnika Białostocka |
| Teil der Schriftenreihe: | Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2011) |
| URI: | http://hdl.handle.net/20.500.12738/2307 |
| Begutachtungsstatus: | Unbekannt / keine Angabe |
| Einrichtung: | Universität Hamburg |
| Dokumenttyp: | Konferenzveröffentlichung |
| Enthalten in den Sammlungen: | Publications without full text |
Zur Langanzeige
Volltext ergänzen
Feedback zu diesem Datensatz
Export
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.