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 |