DemailleHP06'

BibTeX

@inproceedings{DBLP:conf/rivf/DemailleHP06,
  author    = {Akim Demaille and
               Thomas H{\'e}rault and
               Sylvain Peyronnet},
  title     = {Probabilistic verification of sensor networks},
  booktitle = {RIVF},
  year      = {2006},
  pages     = {45-54},
  ee        = {http://dx.doi.org/10.1109/RIVF.2006.1696417},
  crossref  = {DBLP:conf/rivf/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/rivf/2006,
  title     = {4th International Confernce con Computer Sciences: Research,
               Innovation and Vision for the Future, February 12-16, 2006,
               Ho Chi Minh City, Vietnam},
  booktitle = {RIVF},
  publisher = {IEEE},
  year      = {2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}