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