@inproceedings{DBLP:conf/srds/SaissiBMSS13,
  author    = {Habib Saissi and
               P{\'{e}}ter Bokor and
               Can Arda Muftuoglu and
               Neeraj Suri and
               Marco Serafini},
  title     = {Efficient Verification of Distributed Protocols Using Stateful Model
               Checking},
  booktitle = {{IEEE} 32nd Symposium on Reliable Distributed Systems, {SRDS} 2013,
               Braga, Portugal, 1-3 October 2013},
  pages     = {133--142},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {https://doi.org/10.1109/SRDS.2013.22},
  doi       = {10.1109/SRDS.2013.22},
  timestamp = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl    = {https://dblp.org/rec/conf/srds/SaissiBMSS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}