Integrität dieses Dokuments

Köhler, Michael ; Moldt, Daniel ; Rölke, Heiko

Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents

Fehler.