Seminar: Advanced Model Checking - Wintersemester 05/06

Zeit / Ort

Vorlesung

Blockseminar in der ersten oder zweiten Woche der vorlesungsfreien Zeit (16./17. Februar 2006)

Vorstellung: Dienstag, 25.10.2005, 16:00 bis 18:00 Uhr in 101-00..026

Erstes Treffen: Mittwoch, 02.11.2005, 13:00 Uhr in 051-01..31 (Besprechungsraum)