Complexity studies for safe and fan-bounded elementary hornets Köhler-Bußmeier, Michael Heitmann, Frank 2015 - Forschungsinformationssystem der UHH
Structural and dynamic restrictions of elementary object systems Heitmann, Frank Köhler-Bußmeier, Michael 2014 - Forschungsinformationssystem der UHH
An upper bound for the reachability problem of safe, elementary hornets Köhler-Bußmeier, Michael Heitmann, Frank 2014 - Forschungsinformationssystem der UHH
Structural and dynamic restrictions of elementary object systems Heitmann, Frank Köhler-Bußmeier, Michael 2013 - Forschungsinformationssystem der UHH
Complexity results for elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2013 - Forschungsinformationssystem der UHH
P- and T-systems in the nets-within-nets-formalism Heitmann, Frank Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
P- and T-Systems in the Nets-within-Nets Formalism Heitmann, Frank Köhler-Bußmeier, Michael 2012 - ReposIt
A mobility logic for object net systems Heitmann, Frank Köhler-Bußmeier, Michael 2012 - Forschungsinformationssystem der UHH
Complexity of LTL modelchecking for safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH
Conservative elementary object systems Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH
Liveness and reachability for elementary object systems 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 - ReposIt
Restricting generalised state machines Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH
Liveness of safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH