Parametric Markov chains: algorithms, complexity and applications
Activity: Talk or presentation at external institutions/events › Talk/Presentation › Invited
Persons and affiliations
Date
7 Apr 2019
Description
Speaker: Prof. Christel BaierEvent: 6th International Workshop on Synthesis of Complex Parameters
Location: Prag
Country: Tschechien
Duration of event: 07.04.2019-07.04.2019
Workshop
| Title | 6th Workshop on Synthesis of Complex Parameters |
|---|---|
| Abbreviated title | SynCoP 2019 |
| Conference number | |
| Duration | 6 - 7 April 2019 |
| Website | |
| Degree of recognition | International event |
| Location | |
| City | Prag |
| Country | Czech Republic |