@InProceedings{BCMS04,
  author =       "L. Brim and I. {\v{C}}ern\'a and P. Moravec and J. {\v{S}}im\v{s}a",
  title =        "Accepting Predecessors are Better than Back Edges in Distributed LTL Model-Checking",
  booktitle =    "5th International Conference on Formal Methods in Computer-Aided Design (FMCAD'04)",
  year =         "2004",
  volume =       "3312",
  series =       "LNCS",
  pages =        "352--366",
  publisher =    "Springer-Verlag"
}