Probabilistic Model Checking and Tradeoff Analysis
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
5 Jan 2015 → 8 Jan 2015
Description
Conference
| Title | 14th Asian Logic Conference |
|---|---|
| Abbreviated title | ALC 2015 |
| Conference number | |
| Duration | 5 - 8 January 2015 |
| Degree of recognition | International event |
| Location | Indian Institute of Technology Bombay |
| City | Mumbai |
| Country | India |