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 |