Timetable
| Title | Type | Location | Serial | Start | End | All Day | |
|---|---|---|---|---|---|---|---|
| Exercise | Exercise class | 2 | 22.05.19 | 22.05.19 | No | ||
| Exercise | Exercise class | 2 | 08.05.19 | 08.05.19 | No | ||
| Exercise | Exercise class | 2 | 22.07.19 | 22.07.19 | No | ||
| Exam | Exam | HS 002 | 31.07.19 | 31.07.19 | No |
Quantitative Model Checking
Daniel Stan