Masaryk University

Publication Records

česky | in English

Filter publications

    2007

    1. ProbDiVinE: A Parallel Qualitative LTL Model Checker
      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.
      More: https://is.muni.cz/publication/725399/en
Display details
Displayed: 26/7/2024 03:43