From Verification to Causality-Based Explications
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
14 Jun 2022
Other
| Title | 15th Summer School on Modelling and Verification of Parallel Processes |
|---|---|
| Abbreviated title | MOVEP 2022 |
| Conference number | 15 |
| Duration | 13 - 17 June 2022 |
| Website | |
| Degree of recognition | International event |
| Location | Aalborg University |
| City | Aalborg |
| Country | Denmark |