@inproceedings{BBC02,
 author = {Jiří Barnat and Luboš Brim and Ivana Černá},
 booktitle = {Proc. Workshop on Verification and Computational Logic},
 number = {DSSE-TR-2002-5},
 optaddress = {Pittsburgh, PA, USA},
 opteditor = {Michael Leuschel and Ulrich Ultes-Nitsche},
 optmonth = {October},
 organization = {University of Southampton, UK},
 pages = {1--10},
 series = {DSSE Technical Report},
 title = {Property driven distribution of {N}ested {DFS}},
 year = {2002}
}