Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Verifikation probabilistischer Systeme - Sommersemester 2013
Veranstalter
| Dozent | Ralf Wimmer, Dr., Lehrstuhl für Rechnerarchitektur |
| Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur | |
| Assistent | Dominik Erb, M. Sc., Lehrstuhl für Rechnerarchitektur |