Allgemeine Informationen

Veranstaltungsname	Vorlesung: Model Checking
Semester	SS 2014
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, 08.04.2014 14:15 - 15:45
Studiengänge (für)	Studiengang Informatik
SWS	2

Lehrende