| Name | Course Type | Name | Credits | ID |
|---|---|---|---|---|
| Model Checking | () Vorlesung | Introduction to Model Checking | 6 | 521373 |
| () Übung | Introduction to Model Checking | 0 | 521372 | |
| Effiziente Algorithmen | () Vorlesung | Effiziente Algorithmen | 6 | 521740 |
| () Tutorium | Effiziente Algorithmen - Übung | 0 | 521741 | |
| Berechenbarkeit und Komplexität | () Vorlesung | Berechenbarkeit und Komplexität | 6 | 512239 |
| () Tutorium | Berechenbarkeit und Komplexität - Übung | 0 | 512069 | |
| () Übung | Berechenbarkeit und Komplexität (Globalübung) | 0 | 510275 |