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 |