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