@inproceedings{BBC02property,
 address = {Pittsburgh, PA, USA},
 author = {Jiří Barnat and Luboš Brim and Ivana Černá},
 booktitle = {Proceeding of the 3rd International Workshop on
Verification and Computational Logic (VCL'2002)},
 editor = {Michael Leuschel and Ulrich Ultes-Nitsche},
 number = {DSSE-TR-2002-5},
 optmonth = {October},
 organization = {Dept. of Electronics and Computer Science, University of
Southampton, UK},
 pages = {1--10},
 series = {DSSE Technical Report},
 title = {Property {D}riven {D}istribution of {N}ested {DFS}},
 year = {2002}
}