RNDr. Miroslav Chodil
Institut teoretické informatiky
| e‑mail: |
|
|---|
Publikace
Počet publikací: 1
2021
-
The Satisfiability Problem for a Quantitative Fragment of PCTL
Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, rok: 2021