Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter  |  Literatur
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