@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={},
number={},
pages={},
_month={December},
note={},
key={}
}