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 (eds.), 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.

Abstract: No abstracts yet.

BibTeX entry

@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}
}

Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.