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