Bibliography

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

Michael Köhler and Heiko Rölke.
Towards a unified approach for modeling and verification of multi agent systems.
In Moldt , Proceedings of the Workshop on Modelling of Objects, Components, and Agents (MOCA'01), pages 85-104.
Published as DAIMI PB: Workshop Proceedings Modelling of Objects, Components, and Agents; Aarhus, Denmark, August 27-28, number 553.

BibTeX

@inproceedings{Koehler+01b,
  author    =    {K{\"o}hler, Michael and R{\"o}lke, Heiko},
  title     =    {Towards a Unified Approach for Modeling and Verification of Multi Agent Systems},
  crossref =   {Moldt-e-01},
  pages     =    {85--104},
  year      =    2001,
}

@Proceedings{Moldt-e-01,
  editor      = {Moldt, Daniel},
  title       = {Proceedings of the Workshop on Modelling of Objects, Components, and Agents ({MOCA'01})},
  booktitle   = {Proceedings of the Workshop on Modelling of Objects, Components, and Agents ({MOCA'01})},
  publisher   = {University of Aarhus, Department of Computer Science},
  month       = aug,
  year        = 2001,
  note        = {Published as DAIMI PB: Workshop Proceedings
                 Modelling of Objects, Components, and Agents;
                 Aarhus, Denmark, August 27-28, number 553}
}