Allgemeine Informationen
Veranstaltungsname | Vorlesung: 2.01.480 Verification of infinite-state systems |
Untertitel | inf480 |
Veranstaltungsnummer | 2.01.480 |
Semester | WiSe18/19 |
Aktuelle Anzahl der Teilnehmenden | 4 |
Heimat-Einrichtung | Department für Informatik |
Veranstaltungstyp | Vorlesung in der Kategorie Lehre |
Erster Termin | Dienstag, 16.10.2018 10:00 - 12:00, Ort: A03 2-209 |
Art/Form | V+S |
Lehrsprache | deutsch |