@Article{KNP08d, author={M. Kwiatkowska and G. Norman and D. Parker}, title={Analysis of a Gossip Protocol in PRISM}, journal={ACM SIGMETRICS Performance Evaluation Review}, year={2008}, volume={36}, number={3}, pages={17-22}, _month={December}, note={}, key={} }