%0 Journal Article %1 journals/sigops/BakhshiBFH07 %A Bakhshi, Rena %A Bonnet, François %A Fokkink, Wan J. %A Haverkort, Boudewijn R. %D 2007 %J ACM SIGOPS Oper. Syst. Rev. %K %N 5 %P 28-36 %T Formal analysis techniques for gossiping protocols. %U http://dblp.uni-trier.de/db/journals/sigops/sigops41.html#BakhshiBFH07 %V 41

@article{journals/sigops/BakhshiBFH07, added-at = {2023-12-13T08:54:45.000+0100}, author = {Bakhshi, Rena and Bonnet, François and Fokkink, Wan J. and Haverkort, Boudewijn R.}, biburl = {https://www.bibsonomy.org/bibtex/25cb9face0075ced9d77cc4e945dced0f/admin}, ee = {https://doi.org/10.1145/1317379.1317385}, interhash = {c8e6cd91d927471d90c8b3fb0b4e79de}, intrahash = {5cb9face0075ced9d77cc4e945dced0f}, journal = {ACM SIGOPS Oper. Syst. Rev.}, keywords = {}, number = 5, pages = {28-36}, timestamp = {2023-12-13T08:54:45.000+0100}, title = {Formal analysis techniques for gossiping protocols.}, url = {http://dblp.uni-trier.de/db/journals/sigops/sigops41.html#BakhshiBFH07}, volume = 41, year = 2007 }