Filtrování

    2006

    1. Distributed Qualitative LTL Model Checking of Markov Decision Processes D - Stať ve sborníku
      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.
      Podrobněji: https://is.muni.cz/publication/702452/cs
Zobrazit podrobně