Veranstaltungsdetails - Seminar Model Checking
| 2.01 Department für Informatik |
|---|
| Wintersemester 2005/2006 |
| Seminar Model Checking | |
|---|---|
| Veranstaltungsnummer: | 2.01.163 |
| Studienbereiche: | Fakultät 2: Informatik, Wirtschaft- und Rechtswissenschaften > 2.01 Department für Informatik |
| DozentIn | Ernst-Ruediger Olderog |
| Heimat-Einrichtung: | 2.01 Department für Informatik |
| Typ der Veranstaltung: | Forschungsgruppe in der Kategorie Lehre |
| ECTS-Punkte: | 3 |
| Ort: | Mi. 19.10.2005 16:15-17:45 (A3 2-209), Vorbesprechung |
