Jiri Barnat, Lubos Brim, Ivana Cema, Milan Ceska, Jana Tumova, "ProbDiVinE: A Parallel Qualitative LTL Model Checker," Quantitative Evaluation of Systems, International Conference on, pp. 215-216, Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), 2007.

@article{ 10.1109/QEST.2007.13,
author = {Jiri Barnat and Lubos Brim and Ivana Cema and Milan Ceska and Jana Tumova},
title = {ProbDiVinE: A Parallel Qualitative LTL Model Checker},
journal ={Quantitative Evaluation of Systems, International Conference on},
volume = {0},
year = {2007},
isbn = {0-7695-2883-X},
pages = {215-216},
doi = {http://doi.ieeecomputersociety.org/10.1109/QEST.2007.13},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Quantitative Evaluation of Systems, International Conference on
TI - ProbDiVinE: A Parallel Qualitative LTL Model Checker
SN - 0-7695-2883-X
SP215
EP216
A1 - Jiri Barnat,
A1 - Lubos Brim,
A1 - Ivana Cema,
A1 - Milan Ceska,
A1 - Jana Tumova,
PY - 2007
KW - null
VL - 0
JA - Quantitative Evaluation of Systems, International Conference on
ER -