@article{1317385,
 author = {Rena Bakhshi and Francois Bonnet and Wan Fokkink and Boudewijn Haverkort},
 title = {Formal analysis techniques for gossiping protocols},
 journal = {SIGOPS Oper. Syst. Rev.},
 volume = {41},
 number = {5},
 year = {2007},
 issn = {0163-5980},
 pages = {28--36},
 doi = {http://doi.acm.org/10.1145/1317379.1317385},
 publisher = {ACM},
 address = {New York, NY, USA},
 }