8 Einträge gefunden

1. 6- Linearzeit-Logik (LTL,CTL) : Formale Grundlagen der Informatik II

   1. Valk, Rüdiger

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

   1. Valk, Rüdiger

   2013 - Lecture2Go UHH - frei zugänglich
3. 4 - Synchrone Produkte: Kripkestrukturen; Wechselseitiger Ausschluss : Formale Grundlagen der Informatik II

   1. Valk, Rüdiger

   2013 - Lecture2Go UHH - frei zugänglich
4. 1 - Model Checking : Formale Grundlagen der Informatik II

   1. Valk, Rüdiger

   2013 - Lecture2Go UHH - frei zugänglich
5. 7 - Fairness : Formale Grundlagen der Informatik II

   1. Valk, Rüdiger

   2013 - Lecture2Go UHH - frei zugänglich
6. 5 - Sequentielle Programme : Formale Grundlagen der Informatik II

   1. Valk, Rüdiger

   2013 - Lecture2Go UHH - frei zugänglich
7. 2 - Büchi Automaten; Transitionssysteme : Formale Grundlagen der Informatik II

   1. Valk, Rüdiger

   2013 - Lecture2Go UHH - frei zugänglich
8. 8 - Komplexität: CTL-Model-Checking : Formale Grundlagen der Informatik II

   1. Valk, Rüdiger

   2013 - Lecture2Go UHH - frei zugänglich