Liveness of safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2010 - Forschungsinformationssystem der UHH
Complexity of LTL Model-Checking for Safe Object Nets Köhler-Bußmeier, Michael Heitmann, Frank 2010 - ReposIt
Safeness for object nets Köhler-Bußmeier, Michael Heitmann, Frank 2010 - Forschungsinformationssystem der UHH