Verifikation eingebetteter Systeme - Wintersemester 2012/13

Zeit / Ort

Vorlesung	Dienstags, 10:00-12:00 Uhr, Geb. 052 - HS 02-017 Donnerstags, 10:00-12:00 Uhr, Geb. 052 - HS 02-017 (alle 2 Wochen)
Übungen	Donnerstags, 10:00-12:00 Uhr, Geb. 052 - HS 02-017 (alle 2 Wochen)