Materialien
Vorlesungsmaterial
Seminar: Model Checking - Probabilistische und Echtzeitaspekte - Sommersemester 2010
Literatur
| Grundlagenliteratur: Baier, Katoen - Principles of Model Checking, MIT Press, 2008 Literatur zu den einzelnen Vorträgen wird bei der Vorbesprechung ausgegeben. |