Probabilistic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
17 Dec 2017 → 21 Dec 2017
Description
Seminar
| Title | 2nd Winter School in Engineering and Computer Science |
|---|---|
| Conference number | |
| Duration | 17 - 21 December 2017 |
| Degree of recognition | International event |
| Location | |
| City | Jerusalem |
| Country | Israel |