Michael Köhler-Bußmeier, Frank Heitmann. Liveness of Safe Object Nets. Fundamenta Informaticae, 112(1):73-87, 2011. [doi]
@article{Kohler-BussmeierH11, title = {Liveness of Safe Object Nets}, author = {Michael Köhler-Bußmeier and Frank Heitmann}, year = {2011}, doi = {10.3233/FI-2011-579}, url = {http://dx.doi.org/10.3233/FI-2011-579}, researchr = {https://researchr.org/publication/Kohler-BussmeierH11}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {112}, number = {1}, pages = {73-87}, }