DFG-Graduiertenkolleg
Mathematische Logik und Anwendungen

 GK-Logo

Seminar Model Checking SS 2008

Zeit: Mo 16 - 18 Uhr
Ort: SR 01-016, Gebäude 101 Georges-Köhler-Allee