Advances in Symbolic Probabilistic Model Checking with PRISM
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed
Persons and affiliations
- Joachim Klein - , Chair of Algebraic and Logical Foundations of Computer Science (Speaker)
Date
4 Apr 2016 → 7 Apr 2016
Conference
| Title | 22nd International Conference of Tools and Algorithms for the Construction and Analysis of Systems |
|---|---|
| Abbreviated title | TACAS 2016 |
| Conference number | |
| Duration | 2 - 8 April 2016 |
| Degree of recognition | International event |
| Location | |
| City | Eindhoven |
| Country | Netherlands |