Quantitative Verification - Sommersemester 2019
Zeit / Ort
Vorlesung | Dienstag, 16-18Uhr Donnerstag, 16-18 Uhr Gebäude 101, SR 01/016 |
Übungen | Ca. alle zwei Wochen anstelle der Vorlesung Gebäude 101, SR 01/016
|
|
Quantitative Verification - Sommersemester 2019Zeit / Ort
|