BARNAT, Jiří,
Luboš BRIM a
Ivana ČERNÁ. Property Driven Distribution of Nested DFS. In
M. Leuschel and U. Ultes-Nitsche (Eds.): Proceedings of the 3rd International Workshop on Verification and Computational Logic. Pittsburgh, PA, USA: Dept. of Electronics and Computer Science, University of Southampton, 2002, s. 1-10.