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
Konferenz
| Titel | Summer School on Modelling and Verification of Parallel Processes MOVEP'22 |
|---|---|
| Dauer | 14 Juni 2022 |
| Webseite | |
| Bekanntheitsgrad | Internationale Veranstaltung |
| Stadt | Aalborg |
| Land | Dänemark |