Basic Tutorial: Probabilistic Model Checking
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
27 Jul 2014 → 1 Aug 2014
Description
Seminar
| Title | 1st EATCS Young Researcher Schools on Automata, Logic and Games |
|---|---|
| Duration | 27 July - 1 August 2014 |
| City | Telč |
| Country | Czech Republic |