Liveness and Reachability for Elementary Object Systems Köhler-Bußmeier, Michael Heitmann, Frank 2011 - ReposIt
Liveness of safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH
Liveness and reachability for elementary object systems Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH
Restricting generalised state machines Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH