| Title: | Liveness and Reachability for Elementary Object Systems | Language: | English | Authors: | Köhler-Bußmeier, Michael  Heitmann, Frank |
Editor: | Szczuka, Marcin Czaja, Ludwik Skowron, Andrzej Kacprzak, Magdalena |
Issue Date: | 2011 | Publisher: | Politechnika Białostocka | Part of Series: | Proceedings of the International Workshop on Concurrency, Specification, and Programming (CS&P 2011) | URI: | http://hdl.handle.net/20.500.12738/2307 | Review status: | Unknown / not specified | Institute: | Universität Hamburg | Type: | Chapter/Article (Proceedings) |
| Appears in Collections: | Publications without full text |
Show full item record
Add Files to Item
Note about this record
Export
Items in REPOSIT are protected by copyright, with all rights reserved, unless otherwise indicated.