materials
material download
Quantitative Verification - Summer Term 18
literature
| Christel Baier, Joost-Pieter Katoen: Principles of Model Checking, The MIT Press 2008 |
|
|
|
|
|
|
|
materials
material download
Quantitative Verification - Summer Term 18literature
|