Materialien
Vorlesungsmaterial
Quantitative Verification - Sommersemester 2018
Literatur
| Christel Baier, Joost-Pieter Katoen: Principles of Model Checking, The MIT Press 2008 |
|
|
|
|
|
|
|
Materialien
Vorlesungsmaterial
Quantitative Verification - Sommersemester 2018Literatur
|