| |
| 2008 | ||
|---|---|---|
| 2 | EE | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. QEST 2008: 77-78 |
| 2007 | ||
| 1 | EE | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: ProbDiVinE: A Parallel Qualitative LTL Model Checker. QEST 2007: 215-216 |
| 1 | Jiri Barnat | [1] [2] |
| 2 | Lubos Brim | [1] [2] |
| 3 | Ivana Cerná (Ivana Cerna) | [1] [2] |
| 4 | Milan Ceska | [1] [2] |