Materialien
Vorlesungsmaterial
Leistungsnachweis
Blockseminar
Seminar: Techniques for the Verification of Probabilistic or Timed Automata - Sommersemester 2011
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Assistent | Paolo Marin, M.Sc. (Eng), Lehrstuhl für Rechnerarchitektur |