19612a
Practice seminar
WiSe 12/13: Modelchecking
Marcel Kyas
Information for students
Veranstaltung findet in der ersten Hälfte des Semesters statt.
9 Class schedule
Regular appointments
Thu, 2012-10-18 14:00 - 16:00
Thu, 2012-10-25 14:00 - 16:00
Thu, 2012-11-01 14:00 - 16:00
Thu, 2012-11-08 14:00 - 16:00
Thu, 2012-11-15 14:00 - 16:00
Thu, 2012-11-22 14:00 - 16:00
Thu, 2012-11-29 14:00 - 16:00
Thu, 2012-12-06 14:00 - 16:00
Thu, 2012-12-13 14:00 - 16:00