5 - Kripkestrukturen von Programmen : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
27 - PRAM : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
7 - Computational Tree Logic (CTL) : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
22 - Prozessalgebra : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
1 - Modellierung und Analyse von Informatiksystemen : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
4 - Synchrone Produkte : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
3 - Büchi-Automaten : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
6 - Temporale Logik : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
23 - ACP-Axiome : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
25 - Abstraktion : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
26 - Parallele Maschinen : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
24 - Rekursion : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
21 - Prozessalgebra : Formale Grundlagen der Informatik II Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
2 - Model-Checking : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2014 - Lecture2Go UHH - frei zugänglich
