7 Einträge gefunden

1. A mobility logic for object net systems

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

   2012 - Forschungsinformationssystem der UHH
2. P- and T-Systems in the Nets-within-Nets Formalism

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

   2012 - ReposIt
3. Conservative Elementary Object Systems

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

   2012 - ReposIt
4. Complexity of LTL modelchecking for safe object nets

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

   2012 - Forschungsinformationssystem der UHH
5. P- and T-systems in the nets-within-nets-formalism

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

   2012 - Forschungsinformationssystem der UHH
6. A Mobility Logic for Object Net Systems

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

   2012 - ReposIt
7. Conservative elementary object systems

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

   2012 - Forschungsinformationssystem der UHH