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.
