Uni-Logo
English      
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
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.