Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. Brim, L., Cerná, I., Moravec, P., & Simsa, J. In Hu, A. J. & Martin, A. K., editors, FMCAD, volume 3312, of Lecture Notes in Computer Science, pages 352-366, 2004. Springer.
Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. [link]Link  Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking. [link]Paper  bibtex   
@inproceedings{conf/fmcad/BrimCMS04,
  author = {Brim, Lubos and Cerná, Ivana and Moravec, Pavel and Simsa, Jirí},
  booktitle = {FMCAD},
  crossref = {conf/fmcad/2004},
  editor = {Hu, Alan J. and Martin, Andrew K.},
  ee = {http://dx.doi.org/10.1007/978-3-540-30494-4_25},
  interhash = {d29a81034207857f9c9e5e94674e1276},
  intrahash = {f46c670cda53e0c6574462b0acd3150e},
  isbn = {3-540-23738-0},
  pages = {352-366},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking.},
  url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2004.html#BrimCMS04},
  volume = 3312,
  year = 2004
}

Downloads: 0