Verifikation probabilistischer und hybrider Systeme - Wintersemester 2011/12

Zeit / Ort

Vorlesung	Montags, 10:00 - 12:00 Uhr Mittwochs, 10:00-12:00 Uhr (alle 2 Wochen) Raum: Geb. 051 - HS 03 026
Übungen	Mittwochs, 10:00 - 12:00 Uhr (im Wechsel mit der Vorlesung) Raum: Geb. 051 - HS 03 026