Quantitative Verification - Sommersemester 2019
Literatur
Christel Baier, Joost-Pieter Katoen: "Principles of Model Checking", MIT Press 2008 Weitere Literatur wird in der Vorlesung bekanntgegeben. |
|
|
|
|
|
|
|
Quantitative Verification - Sommersemester 2019Literatur
|