@InProceedings{AccPred,
  author =       {L. Brim and I. \v{C}ern\'{a} and P. Moravec and J. \v{S}im\v{s}a},
  title =        {{A}ccepting {P}redecessors are {B}etter than {B}ack {E}dges in {D}istributed {LTL} {M}odel-{C}hecking},
  booktitle =    {5th International Conference on Formal Methods in Computer-Aided Design (FMCAD'04)},
  pages =        {352--366},
  year =         {2004},
  OPTeditor =    {},
  volume =    {3312},
  series =       {LNCS},
  month =        {Nov.},
  publisher = {Springer-Verlag}
}