Bibliography
Structural Analysis of Mobile Agents using Invariants of Object Nets
Michael Köhler, Heiko Rölke, and Rüdiger Valk.
Structural analysis of mobile agents using invariants of object nets.
In Moldt , Proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents (MOCA'04).
DAIMI PB: Aarhus, Denmark, October 11-13, number 571.
BibTeX
@InProceedings{Koehler+04,
author = {K{\"o}hler, Michael and R{\"o}lke, Heiko and Valk, R{\"u}diger},
title = {Structural Analysis of Mobile Agents using Invariants of Object Nets},
crossref = {Moldt-e-04},
year = 2004,
}
@Proceedings{Moldt-e-04,
editor = {Moldt, Daniel},
title = {Proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents ({MOCA'04})},
booktitle = {Proceedings of the Third International Workshop on Modelling of Objects, Components, and Agents ({MOCA'04})},
publisher = {University of Aarhus, Department of Computer Science},
address = {Ny Munkegade, Bldg.~540, DK-8000 Aarhus C, Denmark},
month = aug,
year = 2004,
note = {DAIMI PB: Aarhus, Denmark, October 11-13, number 571}
}
