General information
| Course name | Lecture: Model Checking |
| Semester | SS 2021 |
| Current number of participants | 10 |
| Home institute | Leitung des Instituts für Informatik |
| participating institutes | Technische Informatik |
| Courses type | Lecture in category Offizielle Lehrveranstaltungen |
| First date | Tuesday, 13.04.2021 10:30 - 12:00 |
| Studiengänge (für) | Studiengang Informatik |
| SWS | 2 |
