@inproceedings{fmcad04,
 author = {Luboš Brim and Ivana Černá and Pavel Moravec
and Jiří Šimša},
 booktitle = {Formal Methods in Computer-Aided Design (FMCAD)},
 pages = {352-366},
 publisher = {Springer},
 series = {LNCS},
 title = {Accepting Predecessors are Better than Back 
Edges in Distributed LTL Model-Checking},
 volume = {3312},
 year = {2004}
}