@InProceedings{BBC02,
  author =       "J. Barnat and L. Brim and I. {\v{C}}ern\'{a}",
  title =        "Property driven distribution of {N}ested {DFS}",
  year =         "2002",
  optmonth =     "October",
  booktitle =    "Proc. Workshop on Verification and Computational Logic",
  opteditor =    "Michael Leuschel and Ulrich Ultes-Nitsche",
  pages =        "1--10",
  number =       "DSSE-TR-2002-5",
  series =       "DSSE Technical Report",
  optaddress =   "Pittsburgh, PA, USA",
  organization = "University of Southampton, UK"
}