Rena Bakhshi, François Bonnet, Wan Fokkink, Boudewijn R. Haverkort. Formal analysis techniques for gossiping protocols. Operating Systems Review, 41(5):28-36, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.