Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| QMC Wrapup | Lecture | HS 001 of E1 3 | 17.07.25 | 17.07.25 | No | ||
| Office Hour | Office Hour | Room 533 of E1 3 | 16.06.25 | N/A | Yes |
Quantitative Model Checking
Holger Hermanns
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| QMC Wrapup | Lecture | HS 001 of E1 3 | 17.07.25 | 17.07.25 | No | ||
| Office Hour | Office Hour | Room 533 of E1 3 | 16.06.25 | N/A | Yes |