 Seminar Ausgewählte Themen zur Algorithmischen Geometrie (A) [A]
Mittwochs, 10.15-11.30 Uhr, N 327, wöchentlich ab 5.4.06 (Prof. Dr. Rolf Klein, Dr. Elmar Langetepe, Ansgar Grüne, Sanaz Kamali Sarvestani, Tom Kamphans)
 Seminar Model Checking (A) [A]
Di 9-11, SR N328 (Prof. Dr. Christel Baier, Frank Ciesinski, Marcus Groesser, Sascha Klüppelholz, Jörn Ossowski)
|
Seminar (Hauptstudium)
Seminar Model Checking
Prof. Dr. Christel Baier
Frank Ciesinski
Marcus Groesser
Sascha Klüppelholz
Jörn Ossowski
| Zeit, Ort | Di 9-11, SR N328 |
| Vorbesprechung | 10.02.2006, HS 1, 10.15 Uhr |
| Voraussetzungen | Grundkenntnisse zu Model Checking, wie sie in der Vorlesung 'Model Checking' (WS 05/06 oder frühere Semester) behandelt wurden |
| Bereich (alte DPO) | A |
| Bereich (neue DPO) | A |
|
Übersicht: alle Semester