Uni-Logo
Deutsch      
Rechnerarchitektur
        Startseite         |         Institut f�r Informatik         |         Technische Fakult�t
 
course
overview  |  time/location  |  organiser  |  literature


Quantitative Verification - Summer Term 2019

literature


Christel Baier, Joost-Pieter Katoen: "Principles of Model Checking", MIT Press 2008

Further literature to be announced in the lecture