@inproceedings{DBLP:conf/dexaw/JafarVR04,
  author    = {Samir Jafar and
               S{\'e}bastien Varrette and
               Jean-Louis Roch},
  title     = {Using Data-Flow Analysis for Resilience and Result Checking
               in Peer-To-Peer Computations.},
  booktitle = {DEXA Workshops},
  year      = {2004},
  pages     = {512-516},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/DEXA.2004.171},
  crossref  = {DBLP:conf/dexaw/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}