Basic Tutorial: Probabilistic Model Checking
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
27 Juli 2014 → 1 Aug. 2014
Beschreibung
Seminar
| Titel | 1st EATCS Young Researcher Schools on Automata, Logic and Games |
|---|---|
| Dauer | 27 Juli - 1 August 2014 |
| Stadt | Telč |
| Land | Tschechische Republik |