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