Safeness for Object Nets

Michael Köhler-Bußmeier, Frank Heitmann. Safeness for Object Nets. Fundamenta Informaticae, 101(1-2):29-43, 2010. [doi]

Abstract

Abstract is missing.