Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Exercise | Exercise class | 2 | 22.07.19 | 22.07.19 | No | ||
| Office Hour | Exercise class | 528, E1 3 | 29.07.19 | 29.07.19 | No | ||
| Exam | Exam | HS 002 | 31.07.19 | 31.07.19 | No | ||
| Re-Exam | Exam | HS 002 | 16.09.19 | 16.09.19 | No |
Quantitative Model Checking
Daniel Stan