@PhDThesis{Bak11,
author={Rena Bakhshi},
title={Gossiping Models: Formal Analysis of Epidemic Protocols},
school={Vrije Universiteit, Amsterdam},
year={2011},

type={},
address={},
month={},
note={},
key={}
}