www.prismmodelchecker.org
Home • About • Downloads • Documentation • Manual • Tutorial • Lectures • Publications • Case Studies • Support
[JGKS07] M. Jelasity and S. Voulgaris and R. Guerraoui and A.-M. Kermarrec and M. van Steen. Gossip-based peer sampling. ACM Trans. Computer Systems, 25(3). 2007.
Links: [Google] [Google Scholar] [CiteSeer]

Publications