19612a
Übung
WiSe 12/13: Modelchecking
Marcel Kyas
Hinweise für Studierende
Veranstaltung findet in der ersten Hälfte des Semesters statt.
9 Termine
Regelmäßige Termine der Lehrveranstaltung
Do, 18.10.2012 14:00 - 16:00
Do, 25.10.2012 14:00 - 16:00
Do, 01.11.2012 14:00 - 16:00
Do, 08.11.2012 14:00 - 16:00
Do, 15.11.2012 14:00 - 16:00
Do, 22.11.2012 14:00 - 16:00
Do, 29.11.2012 14:00 - 16:00
Do, 06.12.2012 14:00 - 16:00
Do, 13.12.2012 14:00 - 16:00