Introduction to Probabilistic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
9 Feb. 2015 → 14 Feb. 2015
Beschreibung
Seminar
Titel | 22° Escuela de Verano de Ciencias Informáticas |
---|---|
Kurztitel | RIO 2015 |
Veranstaltungsnummer | |
Dauer | 9 - 14 Februar 2015 |
Bekanntheitsgrad | Nationale Veranstaltung |
Ort | Universidad Nacional de Río Cuarto |
Stadt | Río Cuarto |
Land | Argentinien |