Publisher DOI: | https://nbn-resolving.org/urn:nbn:de:0074-928-1 |
Title: | On the complexity of safe, elementary hornets |
Language: | English |
Authors: | Köhler-Bußmeier, Michael ![]() |
Editor: | Popova-Zeugmann, Louchka |
Keywords: | Hornets; nets-within-nets; object nets; reachability; safeness |
Issue Date: | Aug-2012 |
Publisher: | RWTH Aachen |
Part of Series: | Proceedings of the 21st International Workshop on Concurrency, Specification, and Programming (CS&P 2012), Berlin, Germany, September 26 - 28, 2012 |
Volume number: | Volume 1 |
Journal or Series Name: | CEUR workshop proceedings |
Volume: | 978 |
Startpage: | 203 |
Endpage: | 214 |
Conference: | International Workshop on Concurrency, Specification, and Programming 2012 |
URI: | http://hdl.handle.net/20.500.12738/13352 |
ISSN: | 1613-0073 |
Review status: | This version was peer reviewed (peer review) |
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.