24 - Workflow, Bankiersproblem : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
23 - Workflow, KKN : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
27 - KKN, CPN, Datenbankmanager, Renew : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2012 - Lecture2Go UHH - frei zugänglich
3 - Äquivalenz von Systemen : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2011 - Lecture2Go UHH - frei zugänglich
20 - Fairness, partial order semantics : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2011 - Lecture2Go UHH - frei zugänglich
2 - Büchi Automaten : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2011 - Lecture2Go UHH - frei zugänglich