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