2 - Büchi Automaten; Transitionssysteme : Formale Grundlagen der Informatik II Valk, Rüdiger 2013 - Lecture2Go UHH - frei zugänglich
4 - Synchrone Produkte: Kripkestrukturen; Wechselseitiger Ausschluss : Formale Grundlagen der Informatik II Valk, Rüdiger 2013 - Lecture2Go UHH - frei zugänglich
6- Linearzeit-Logik (LTL,CTL) : Formale Grundlagen der Informatik II Valk, Rüdiger 2013 - Lecture2Go UHH - frei zugänglich
8 - Komplexität: CTL-Model-Checking : Formale Grundlagen der Informatik II Valk, Rüdiger 2013 - Lecture2Go UHH - frei zugänglich
1 - Model Checking : Formale Grundlagen der Informatik II Valk, Rüdiger 2013 - Lecture2Go UHH - frei zugänglich
7 - Fairness : Formale Grundlagen der Informatik II Valk, Rüdiger 2013 - Lecture2Go UHH - frei zugänglich
5 - Sequentielle Programme : Formale Grundlagen der Informatik II Valk, Rüdiger 2013 - Lecture2Go UHH - frei zugänglich
3 - Büchi Automaten : Formale Grundlagen der Informatik II Valk, Rüdiger 2013 - Lecture2Go UHH - frei zugänglich