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