Introduction to Probabilistic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
9 Feb 2015 → 14 Feb 2015
Description
Seminar
| Title | 22° Escuela de Verano de Ciencias Informáticas |
|---|---|
| Abbreviated title | RIO 2015 |
| Conference number | |
| Duration | 9 - 14 February 2015 |
| Degree of recognition | National event |
| Location | Universidad Nacional de Río Cuarto |
| City | Río Cuarto |
| Country | Argentina |