5 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. Liveness of Safe Object Nets

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

   2010 - ReposIt
3. Safeness for Object Nets

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

   2010 - ReposIt
4. Safeness for object nets

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

   2010 - Forschungsinformationssystem der UHH
5. Liveness of safe object nets

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

   2010 - Forschungsinformationssystem der UHH