From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Simon Jantsch - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
10 Okt. 2019
Beschreibung
Speaker: Simon JantschEvent: International Symposium on Formal Methods 2019
Location: Porto
Country: Italien
Duration of event: 10.10.2019-10.10.2019
Konferenz
| Titel | International Symposium on Formal Methods 2019 |
|---|---|
| Kurztitel | FM 2019 |
| Veranstaltungsnummer | |
| Dauer | 7 - 11 Oktober 2019 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Porto |
| Land | Italien |