Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Seminar: Theoretical Foundations of Model Checking - Wintersemester 06/07
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Betreuer | Ilia Polian, Dr., Lehrstuhl für Rechnerarchitektur |
| Jochen Eisinger, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Ralf Wimmer, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Marc Herbstritt, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |