Almost Universality for Unambiguous Büchi Automata
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- David Müller - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
6 Dez. 2015 → 9 Dez. 2015
Beschreibung
Speaker: Dipl.-Inf. David MüllerEvent: GI-Dagstuhl Seminar 15504 "Formal Evaluation of Critical Infrastructures"
Inviting institution: Rocks
Location: Schloss Dagstuhl, Wadern
Country: Deutschland
Duration of event: 06.12.2015-09.12.2015
Seminar
| Titel | GI-Dagstuhl Seminar 15504 "Formal Evaluation of Critical Infrastructures" |
|---|---|
| Veranstaltungsnummer | |
| Dauer | 6 - 9 Dezember 2015 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Schloss Dagstuhl |
| Stadt | Wadern |
| Land | Deutschland |