Výpis publikací

2007

1. ProbDiVinE: A Parallel Qualitative LTL Model Checker

   BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Milan ČEŠKA a 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, s. 215-216. ISBN 0-7695-2883-X.

   Podrobněji: https://is.muni.cz/publication/725399/cs