Materialien
Vorlesungsmaterial
Seminar: Model Checking - Probabilistische und Echtzeitaspekte - Sommersemester 2010
Veranstalter
| Dozent | Daniel Große, Dr. (Lehrstuhlvertretung), Universität Bremen |
| Assistent | Christian Miller, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |
| Ralf Wimmer, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |