An Upper Bound for the Reachability Problem of Safe, Elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2016 - ReposIt
Complexity studies for safe and fan-bounded elementary hornets Köhler-Bußmeier, Michael Heitmann, Frank 2015 - Forschungsinformationssystem der UHH
Complexity Studies for Safe and Fan-Bounded Elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2015 - ReposIt
An upper bound for the reachability problem of safe, elementary hornets Köhler-Bußmeier, Michael Heitmann, Frank 2014 - Forschungsinformationssystem der UHH
Konzeption und Durchführung des Inverted-Classroom-Ansatzes für die Lehre im Pflichtmodul: Formale Grundlagen der Informatik, FGI-1 Köhler-Bußmeier, Michael Heitmann, Frank 2014 - ReposIt
Einsatz eines Classroom Response Systems zur Aktivierung der Studierenden in großen Hörsälen Heitmann, Frank Köhler-Bußmeier, Michael 2014 - Forschungsinformationssystem der UHH
Konzeption und Durchführung des Inverted-Classroom-Ansatzes für die Lehre im Pflichtmodul Formale Grundlagen der Informatik Heitmann, Frank Köhler-Bußmeier, Michael 2014 - Forschungsinformationssystem der UHH
Einsatz eines Classroom Response Systems zur Aktivierung der Studierenden in großen Hörsälen Heitmann, Frank Köhler-Bußmeier, Michael 2014 - ReposIt
An Upper Bound for the Reachability Problem of Safe, Elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2014 - ReposIt
Structural and dynamic restrictions of elementary object systems Heitmann, Frank Köhler-Bußmeier, Michael 2014 - Forschungsinformationssystem der UHH
Structural and Dynamic Restrictions of Elementary Object Systems Heitmann, Frank Köhler-Bußmeier, Michael 2014 - ReposIt
Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming ; Structural and Dynamic Restrictions of Elementary Object Systems Heitmann, Frank Köhler-Bußmeier, Michael 2013 - ReposIt
Complexity results for elementary Hornets Köhler-Bußmeier, Michael Heitmann, Frank 2013 - Forschungsinformationssystem der UHH
Structural and dynamic restrictions of elementary object systems Heitmann, Frank Köhler-Bußmeier, Michael 2013 - Forschungsinformationssystem der UHH
A mobility logic for object net systems 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 - Forschungsinformationssystem der UHH
Conservative elementary object systems Köhler-Bußmeier, Michael Heitmann, Frank 2012 - Forschungsinformationssystem der UHH