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