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