BARNAT, Jiří,
Luboš BRIM,
Ivana ČERNÁ, Milan ČEŠKA and
Jana TŮMOVÁ. ProbDiVinE: A Parallel Qualitative LTL Model Checker. In
Fourth International Conference on the Quantitative Evaluation of Systems (QEST'07). United States of America: IEEE Computer Society, 2007, p. 215-216. ISBN 0-7695-2883-X.