| Modeling and Verification of Probabilistic Systems |
M |
Katoen |
| Concurrency Theory |
M |
Katoen/Noll |
| Trends in Computer-Aided Verification (Seminar) |
B/M |
Katoen/Noll |
| Algorithms and Data Structures (Proseminar) |
B |
Katoen/Noll |
| Bridging Course Foundations of Informatics |
M |
Noll |