I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Model-Checking II | WS 2008/09

  Neuigkeiten | Termine | Inhalt | Folien

20. Oktober 2008:

Der Termin der Vorlesung hat sich geändert. Die Vorlesung findet ab jetzt jeweils montags um 14:15 Uhr statt, und zwar in Raum 03.11.058. Die nächste Vorlesung ist am 27. Oktober.

8. Oktober 2008:

Die Vorlesung findet erstmals am Donnerstag, 16. Oktober 2008 statt.