1. Lecture Notes in Computer Science;T. Bao,2005
2. Barnat, J., Brim, L., Chaloupka, J.: Parallel Breadth-First Search LTL Model-Checking. In: 18th IEEE International Conference on Automated Software Engineering, pp. 106–115. IEEE Computer Society Press, Los Alamitos (2003)
3. Lecture Notes in Computer Science;J. Barnat,2001
4. Barnat, J., Forejt, V., Leucker, M., Weber, M.: DivSPIN – A SPIN Compatible Distributed Model Checker. In: Proc. 4th International Workshop on Parallel and Distributed Methods in Verification, pp. 95–100 (2005)
5. Barnat, J.: Distributed Memory LTL Model Checking. PhD Thesis, Faculty of Informatics, Masaryk University Brno (2004)