Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Seminar: Theoretical Foundations of Model Checking - Wintersemester 06/07
Zeit / Ort
| Vorlesung | Das Blockseminar findet am 1./2. März 2007 auf der Fachschaftshütte der Uni statt. |