From Verification to Causality-Based Explications
Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Eingeladen
Personen und Einrichtungen
Datum
14 Juni 2022
Sonstiges
| Titel | 15th Summer School on Modelling and Verification of Parallel Processes |
|---|---|
| Kurztitel | MOVEP 2022 |
| Veranstaltungsnummer | 15 |
| Dauer | 13 - 17 Juni 2022 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Ort | Aalborg University |
| Stadt | Aalborg |
| Land | Dänemark |