Verifikation probabilistischer Systeme - Sommersemester 2013

Zeit / Ort

Vorlesung	Dienstags, 10:00 bis 12:00, Raum 51-00-31 Donnerstags, 10:00 bis 12:00, Raum 51-00-31 (im Wechsel mit den Übungen)
Übungen	Donnerstags, 10:00 bis 12:00, Raum 51-00-31 (im Wechsel mit den Übungen)