| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 4,82 | 14,45 | Quantitative Model Checking of Systems with Degradation
|
| 0,00 | 0,00 | Local Quantitative LTL Model Checking
|
| 2,89 | 14,45 | Local Quantitative LTL Model Checking
|
| 0,00 | 0,00 | Distributed Qualitative LTL Model Checking of Markov Decision Processes
|
| 14,45 | 72,24 | ProbDiVinE-MC
|
| 2,89 | 14,45 | ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
|
| 14,45 | 72,24 | ProbDiVinE
|
| 2,89 | 14,45 | ProbDiVinE: A Parallel Qualitative LTL Model Checker
|
Back
(c) Michal Bulant, 2011