Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | 7,23 | 21,68 | On Determinism in Modal Transition Systems
|
3,61 | 14,45 | The Satisfiability Problem for Probabilistic CTL
|
4,82 | 14,45 | Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
|
0,00 | 0,00 | Continuous-Time Stochastic Games with Time-Bounded Reachability
|
Back
(c) Michal Bulant, 2011