Bibliography
On Defining Conflict-Freedom for Object Nets
Frank Heitmann and Michael Köhler-Bußmeier.
On defining conflict-freedom for object nets.
In B. Muller and M. Köhler-Bußmeier, editors, Proceedings of the International Workshop on Logic, Agents, and Mobilitty
(LAM 2011), 2011.
BibTeX
@InProceedings{Heitmann+11,
author = {Heitmann, Frank and K{\"o}hler-Bu{\ss}meier, Michael },
title = {On Defining Conflict-Freedom for Object Nets},
editor = {Muller, B. and K{\"o}hler-Bu{\ss}meier, M. },
booktitle = {Proceedings of the International Workshop
on Logic, Agents, and Mobilitty (LAM 2011) },
year = {2011}
}
