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