Verification of open interactive Markov chains
- Tomáš Brázdil
- , Holger Hermanns
- , Jan Krčál
- , Jan Křetínský
- , Vojtěch Řehák
- Masaryk University
- Saarland University
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
13
Scopus
citations