Probabilistic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
31 Jul 2017 → 4 Aug 2017
Description
Seminar
Title | Summer School 2017: Verification Technology, Systems & Applications |
---|---|
Duration | 31 July - 4 August 2017 |
Degree of recognition | International event |
Location | Max Planck Institute for Informatics |
City | Saarbrücken |
Country | Germany |