Model Checking WS 2006/07

Vorlesung

Montag 4.DS [13:00-14.30]
Donnerstag 3.DS [11.10-12.40]

Übung

Freitag 2.DS [9.20-10.50]

Alle Veranstaltungen finden in E09 statt.