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.