Probabilistic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
2 Aug. 2017 → 11 Aug. 2017
Beschreibung
Seminar
Titel | Marktoberdorf Summer School |
---|---|
Veranstaltungsnummer | |
Dauer | 2 - 11 August 2017 |
Bekanntheitsgrad | Internationale Veranstaltung |
Ort | |
Stadt | Marktoberdorf |
Land | Deutschland |