Materialien
Vorlesungsmaterial
Seminar: Advanced Model Checking - Wintersemester 05/06
Veranstalter
| Dozent | Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur |
| Betreuer | Erika Ãbrahám, Dr., Lehrstuhl für Rechnerarchitektur |
| Ralf Wimmer, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Marc Herbstritt, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur | |
| Tobias Nopper, Dipl.-Inform., Lehrstuhl für Betriebssysteme | |
| Jochen Eisinger, Dipl.-Inf., Lehrstuhl für Rechnerarchitektur |