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 |