Erscheinungsjahr 2016 31 2015 35 2014 20 2013 5 2012 7 2011 8 2010 5 2009 5 alle zeigenListe einklappen
Liveness and reachability for elementary object systems Köhler-Bußmeier, Michael Heitmann, Frank 2011 - Forschungsinformationssystem der UHH
Liveness of safe object nets Köhler-Bußmeier, M. Heitmann, Frank 2011 - Forschungsinformationssystem der UHH
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 - ReposIt
Liveness of safe object nets Köhler-Bußmeier, Michael Heitmann, Frank 2010 - Forschungsinformationssystem der UHH
Safeness for 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
On the Expressiveness of Communication Channels for Object Nets Köhler-Bußmeier, Michael Heitmann, Frank 2009 - ReposIt
On the expressiveness of communication channels for object nets Köhler-Bußmeier, Michael Heitmann, Frank 2009 - Forschungsinformationssystem der UHH
On the Expressiveness of Communication Channels for Object Nets Köhler-Bußmeier, Michael Heitmann, Frank 2009 - ReposIt
On defining safeness for object nets Köhler-Bußmeier, Michael Heitmann, Frank 2009 - Forschungsinformationssystem der UHH