@PhDThesis{Dou08,
author={Douglas Graham},
title={Parameterised Verification of Randomised Distributed Systems using State-based Models},
school={University of Glasgow},
year={2008},

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