Filtrování

    2008

    1. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems D - Stať ve sborníku
      BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems. In QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems. Washington, DC, USA: IEEE Computer Society, 2008, s. 77-78. ISBN 978-0-7695-3360-5.
      Podrobněji: https://is.muni.cz/publication/793823/cs
Zobrazit podrobně