Relating Approximate Probabilistic Bisimulations
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
Date
29 Sept 2024
Workshop
| Title | ROCKS Workshop 2023 |
|---|---|
| Abbreviated title | ROCKS 2023 |
| Duration | 27 - 29 September 2023 |
| Website | |
| Degree of recognition | International event |
| Location | Universität des Saarlandes |
| City | Saarbrücken |
| Country | Germany |