6 Einträge gefunden

1. 24 - Workflow, Bankiersproblem : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
2. 27 - KKN, CPN, Datenbankmanager, Renew : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
3. 23 - Workflow, KKN : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2012 - Lecture2Go UHH - frei zugänglich
4. 20 - Fairness, partial order semantics : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2011 - Lecture2Go UHH - frei zugänglich
5. 3 - Äquivalenz von Systemen : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2011 - Lecture2Go UHH - frei zugänglich
6. 2 - Büchi Automaten : Formale Grundlagen der Informatik II

   1. Köhler-Bußmeier, Michael
   2. Moldt, Daniel

   2011 - Lecture2Go UHH - frei zugänglich