From Verification to Causality-Based Explications
Activity: Talk or presentation at external institutions/events › Keynote › Invited
Persons and affiliations
Date
28 Aug 2021
Conference
| Title | The 10th IFIP WG 1.8 Workshop on Trends in Concurrency Theory |
|---|---|
| Abbreviated title | TRENDS 2021 |
| Conference number | |
| Duration | 18 August 2021 |
| Website | |
| Degree of recognition | International event |
| Location | online |
| City |