1. Barnat, J., Brim, L., Černá, I.: Property Driven Distribution of Nested DFS. In: Proceedings of the 3rd International Workshop on Verification and Computational Logic (VCL 2002 – held at the PLI 2002 Symposium). University of Southampton, UK, Technical Report DSSE-TR-2002-5 in DSSE, pp. 1–10 (2002)
2. Lecture Notes in Computer Science;J. Barnat,2007
3. Lecture Notes in Computer Science;J. Barnat,2006
4. Lecture Notes in Computer Science;J. Barnat,2007
5. Lecture Notes in Computer Science;J. Barnat,2007