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 |