Materialien
Vorlesungsmaterial
Quantitative Verification - Sommersemester 2018
Zeit / Ort
| Vorlesung | Blockveranstaltung vom 03. April bis 13. April 2018 |
| Übungen | Vier Übungstermine zu Beginn des Sommersemesters 2018:
jeweils 14-16 Uhr in Raum 51-00-034. |