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 |