Minimal Witnesses for Probabilistic Timed 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
22 Okt. 2020
Beschreibung
Speaker: Simon JantschEvent: 18ᵗʰ International Symposium on Automated Technology for Verification (ATVA 2020)
Location: online
Country: (Unbekannt)
Duration of event: 22.10.2020-22.10.2020
Konferenz
| Titel | 18ᵗʰ International Symposium on Automated Technology for Verification |
|---|---|
| Kurztitel | ATVA 2020 |
| Dauer | 19 - 23 Oktober 2020 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | online |
| Stadt | Hanoi |
| Land | Vietnam |