MeryS11'

@inproceedings{DBLP:conf/sss/MeryS11,
  author    = {Dominique M{\'e}ry and
               Neeraj Kumar Singh},
  title     = {Analysis of DSR Protocol in Event-B},
  booktitle = {SSS},
  year      = {2011},
  pages     = {401-415},
  ee        = {http://dx.doi.org/10.1007/978-3-642-24550-3_30},
  crossref  = {DBLP:conf/sss/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/sss/2011,
  editor    = {Xavier D{\'e}fago and
               Franck Petit and
               Vincent Villain},
  title     = {Stabilization, Safety, and Security of Distributed Systems
               - 13th International Symposium, SSS 2011, Grenoble, France,
               October 10-12, 2011. Proceedings},
  booktitle = {SSS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6976},
  year      = {2011},
  isbn      = {978-3-642-24549-7},
  ee        = {http://dx.doi.org/10.1007/978-3-642-24550-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}