Probabilistic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
2 Aug 2017 → 11 Aug 2017
Description
Seminar
| Title | Marktoberdorf Summer School |
|---|---|
| Conference number | |
| Duration | 2 - 11 August 2017 |
| Degree of recognition | International event |
| Location | |
| City | Marktoberdorf |
| Country | Germany |