Výpis publikací

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.

BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Milan ČEŠKA a Jana TŮMOVÁ. ProbDiVinE. 2007.

BARNAT, Jiří; Luboš BRIM; Ivana ČERNÁ; Milan ČEŠKA a Jana TŮMOVÁ. Distributed Qualitative LTL Model Checking of Markov Decision Processes. In Proceedings of 5th International Workshop on Parallel and Distributed Methods in verifiCation. Bonn, Germany: University of Bonn, 2006, s. 1-15. ISSN 1571-0661.

BRÁZDIL, Tomáš; Antonín KUČERA a Oldřich STRAŽOVSKÝ. Deciding Probabilistic Bisimilarity Over Infinite-State Probabilistic Systems. P. Gardner, N. Yoshida (Eds.). In Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004). Berlin: Springer, 2004, s. 193-208. ISBN 3-540-22940-X.