Quantitative Verification - Summer Term 2020
literature
Christel Baier, Joost-Pieter Katoen: "Principles of Model Checking", MIT Press 2008 Further literature to be announced in the lecture |
|
|
|
|
|
|
|
Quantitative Verification - Summer Term 2020literature
|