Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation probabilistischer und hybrider Systeme - Wintersemester 2011/12
Literatur
| Christel Baier, Joost-Pieter Katoen - Principles of Model Checking The MIT Press, 2008 Original-Arbeiten, die zu einzelnen Kapitel zur Verfügung gestellt werden. |