| Body na spoluautora | Body za publikaci pro MU | Odkaz ISVaV | | 0,00 | 0,00 | DIVINE - The Distributed Verification Environment
|
| 5,03 | 30,19 | DiVinE -- A Tool for Distributed Verification
|
| 0,00 | 0,00 | Formal Verification of the CRC Algorithm Properties
|
| 2,41 | 14,45 | DiVinE -- A Tool for Distributed Verification
|
| 0,00 | 0,00 | Formal Verification of the CRC Algorithm Properties
|
| 12,04 | 72,24 | DiVinE Library
|
| 14,45 | 14,45 | Semi-external LTL Model Checking
|
| 4,82 | 14,45 | Revisiting Resistance Speeds Up I/O Efficient LTL Model Checking
|
| 4,82 | 14,45 | I/O Efficient Accepting Cycle Detection
|
| 0,00 | 0,00 | Can Flash Memory Help in Model Checking?
|
| 14,45 | 72,24 | DiVinE Cluster
|
| 4,82 | 14,45 | Cluster-Based I/O-Efficient LTL Model Checking
|
| 4,82 | 14,45 | Can Flash Memory Help in Model Checking?
|
Back
(c) Michal Bulant, 2011