Event Categories
- Name
- Talks
- Farbe
- Blue
Related Events
| Title | Status | Starttime | Endtime | the whole day | |
|---|---|---|---|---|---|
| Practice Talks II | Scheduled | 09.01.2021 13:00 | 09.01.2021 17:00 | No |
|
| Practice Talks I | Scheduled | 08.01.2021 10:00 | 08.01.2021 12:00 | No |
|
Model Checking: Techniques and Applications
Swen Jacobs