Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation probabilistischer Systeme - Sommersemester 2013
Literatur
| Baier, Katoen - Principles of Model Checking, The MIT Press, 2008 [Kapitel 10] Originalarbeiten (werden im Laufe der Vorlesung bekanntgegeben) |