Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
Materialien
Vorlesungsmaterial
Leistungsnachweis
Blockseminar


Seminar: Techniques for the Verification of Probabilistic or Timed Automata - Sommersemester 2011

Veranstalter


Dozent Bernd Becker, Prof. Dr., Lehrstuhl für Rechnerarchitektur
Assistent Paolo Marin, M.Sc. (Eng), Lehrstuhl für Rechnerarchitektur