materials
material download
Seminar: Advanced Model Checking - winter term 05/06
organiser
| lecturer | Bernd Becker, Prof. Dr., Chair of Computer Architecture |
| organizer | Erika Ãbrahám, Dr., Chair of Computer Architecture |
| Ralf Wimmer, Dipl.-Inf., Chair of Computer Architecture | |
| Marc Herbstritt, Dipl.-Inf., Chair of Computer Architecture | |
| Tobias Nopper, Dipl.-Inform., Chair of Operating Systems | |
| Jochen Eisinger, Dipl.-Inf., Chair of Computer Architecture |