Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen
Personen und Einrichtungen
- Lisa Hutschenreiter - , Professur für Algebraische und logische Grundlagen der Informatik (Redner:in)
Datum
20 Sept. 2017 → 22 Sept. 2017
Beschreibung
Konferenz
| Titel | 8th Symposium on Games, Automata, Logics and Formal Verification |
|---|---|
| Kurztitel | GandALF 2017 |
| Veranstaltungsnummer | |
| Dauer | 20 - 22 September 2017 |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | |
| Stadt | Rom |
| Land | Italien |