Bibliography

A Mobility Logic for Object Net Systems

Frank Heitmann and Michael Köhler-Bußmeier.
A mobility logic for object net systems.
In B. Farwer, editor, Proceedings of the International Workshop on Logic, Agents, and Mobilitty (LAM'12), volume 853, pages 19-34. CEUR Workshop Proceedings, 2012.
urn:nbn:de:0074-853-4.

BibTeX

@InProceedings{Heitmann+12a,
  author = {Heitmann, Frank and K{\"o}hler-Bu{\ss}meier, Michael},
  title =  {A Mobility Logic for Object Net Systems},
  editor = {Farwer, B.} ,
  booktitle =  {Proceedings of the International Workshop
     on Logic, Agents, and Mobilitty (LAM'12)},
  year =  {2012},
  publisher =    {CEUR Workshop Proceedings},
  pages =  {19-34},
  volume =  {853},
  note = {\textsf{urn:nbn:de:0074-853-4}}
}