Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Deadline Theory Assignment 3 + Practical Assignment 2 | Assignment deadline | 05.06.25 | 05.06.25 | No | |||
| Deadline Theory Assignment 5 | Assignment deadline | 10.07.25 | 10.07.25 | No |
Quantitative Model Checking
Holger Hermanns