4 Einträge gefunden

1. Towards a Unified Approach for Modeling and Verification of Multi-Agent Systems

   1. Köhler, Michael
   2. Rölke, Heiko

   2001 - ReposIt - frei zugänglich
2. Liveness Preserving Composition of Behaviour Protocols for Petri Net Agents

   1. Köhler, Michael
   2. Moldt, Daniel
   3. Rölke, Heiko

   2001 - ReposIt
3. Einheitliche Modellierung von Agenten und Agentensystemen mit Referenznetzen

   1. Köhler, Michael
   2. Moldt, Daniel
   3. Rölke, Heiko

   2001 - ReposIt
4. Modeling the Behaviour of Petri Net Agents

   1. Köhler, Michael
   2. Moldt, Daniel
   3. Rölke, Heiko

   2001 - ReposIt