Allgemeine Informationen

Veranstaltungsname	Vorlesung: Model Checking
Semester	SS 2016
Aktuelle Anzahl der Teilnehmenden	0
Heimat-Einrichtung	Leitung des Instituts für Informatik
beteiligte Einrichtungen	Technische Informatik
Veranstaltungstyp	Vorlesung in der Kategorie Offizielle Lehrveranstaltungen
Erster Termin	Dienstag, 05.04.2016 10:15 - 11:45
Studiengänge (für)	Studiengang Informatik
SWS	2

Lehrende