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


Seminar: Model Checking - Probabilistische und Echtzeitaspekte - Sommersemester 2010

Zeit / Ort


Vorlesung Vorbesprechung: 21. April 2010, 11:00 Uhr c.t. bis 12:00 Uhr, Raum 051 00-026 (Lehrstuhlbesprechungsraum) geändert!