Uni-Logo
Deutsch      
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
course
overview  |  time/location  |  organiser
materials
material download
activity confirmation
exam criteria


Seminar: Theoretical Foundations of Model Checking - winter term 06/07

time / place


lecture This course will take place march 1st and 2nd at the 'Fachschaftshütte'