| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 2,89 | 14,45 | Local Quantitative LTL Model Checking
|
| 0,00 | 0,00 | Local Quantitative LTL Model Checking
|
| 0,00 | 0,00 | Pre-Proceedings of 1st Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2005)
|
| 0,00 | 0,00 | Distributed Qualitative LTL Model Checking of Markov Decision Processes
|
| 2,89 | 14,45 | ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
|
| 14,45 | 72,24 | ProbDiVinE-MC
|
| 14,45 | 72,24 | DiVinE Cluster
|
| 14,45 | 72,24 | DiVinE Cuda
|
| 18,06 | 72,24 | DiVinE 2.0
|
| 0,00 | 0,00 | CUDA Accelerated LTL Model Checking
|
| 0,00 | 0,00 | DiVinE-CUDA - A Tool for GPU Accelerated LTL Model Checking
|
| 2,89 | 14,45 | ProbDiVinE: A Parallel Qualitative LTL Model Checker
|
| 14,45 | 72,24 | ProbDiVinE
|
Back
(c) Michal Bulant, 2011