Are Good-for-games Automata Good for Probabilistic Model Checking?
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
10 März 2014 → 14 Okt. 2014
Beschreibung
Konferenz
| Titel | 8th International Conference on Language and Automata Theory and Applications |
|---|---|
| Kurztitel | LATA 2014 |
| Veranstaltungsnummer | 8 |
| Dauer | 10 - 14 März 2014 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Stadt | Madrid |
| Land | Spanien |