| Title: | Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents | Authors: | Köhler, Michael  Moldt, Daniel Rölke, Heiko |
Issue Date: | 2001 | URI: | http://hdl.handle.net/20.500.12738/3457 | Institute: | Universität Hamburg | Type: | Report |
| 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.