- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| 3 |      | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova: Local Quantitative LTL Model Checking. FMICS 2008: 53-68 |
| 2 | | 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 | | 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] [3] |
| 2 | Lubos Brim | [1] [2] [3] |
| 3 | Ivana Cerná (Ivana Cerna) | [1] [2] [3] |
| 4 | Milan Ceska | [1] [2] [3] |