20 - Fairness, partial order semantics : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2011 - 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
2 - Büchi Automaten : Formale Grundlagen der Informatik II Köhler-Bußmeier, Michael Moldt, Daniel 2011 - Lecture2Go UHH - frei zugänglich