| Titel: | Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents | Autorenschaft: | Köhler, Michael  Moldt, Daniel Rölke, Heiko |
Erscheinungsdatum: | 2001 | URI: | http://hdl.handle.net/20.500.12738/3457 | Einrichtung: | Universität Hamburg | Dokumenttyp: | Bericht |
| 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.