@inproceedings{DBLP:conf/dsn/BokorKSS11,
  author    = {P{\'{e}}ter Bokor and
               Johannes Kinder and
               Marco Serafini and
               Neeraj Suri},
  title     = {Efficient model checking of fault-tolerant distributed protocols},
  booktitle = {Proceedings of the 2011 {IEEE/IFIP} International Conference on Dependable
               Systems and Networks, {DSN} 2011, Hong Kong, China, June 27-30 2011},
  pages     = {73--84},
  publisher = {{IEEE} Compute Society},
  year      = {2011},
  url       = {https://doi.org/10.1109/DSN.2011.5958208},
  doi       = {10.1109/DSN.2011.5958208},
  timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
  biburl    = {https://dblp.org/rec/conf/dsn/BokorKSS11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}