| Titel: | Complexity of LTL Model-Checking for Safe Object Nets | Sprache: | Englisch | Autorenschaft: | Köhler-Bußmeier, Michael  Heitmann, Frank |
Herausgeber*In: | Farwer, Berndt | Erscheinungsdatum: | 2010 | Teil der Schriftenreihe: | Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM 2010) | URI: | http://hdl.handle.net/20.500.12738/2721 | 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.