@inproceedings{spin03,
 author = {Ivana Černá and  Radek Pelánek},
 booktitle = {Model Checking Software. 10th International SPIN Workshop},
 editor = {T. Ball and S.K. Rajamani },
 pages = {49 -- 73},
 publisher = {Springer Verlag},
 series = {Lecture Notes in Computer Science},
 title = {Distributed Explicit Fair Cycle Detection (Set Based Approach)},
 volume = {2648},
 year = {2003}
}