| 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.