5 Einträge gefunden

1. Liveness of Safe Object Nets

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

   2010 - ReposIt
2. Complexity of LTL Model-Checking for Safe 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 - Forschungsinformationssystem der UHH
4. Safeness for object nets

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

   2010 - Forschungsinformationssystem der UHH
5. Safeness for Object Nets

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

   2010 - ReposIt