3 Einträge gefunden

1. Complexity of LTL Model-Checking for Safe Object Nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - ReposIt
2. Safeness for Object Nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - ReposIt
3. Liveness of Safe Object Nets

   1. Köhler-Bußmeier, Michael
   2. Heitmann, Frank

   2010 - ReposIt