@PhDThesis{Kat11,
author={M. Kattenbelt},
title={Automated Quantitative Software Verification},
school={Oxford University},
year={2011},

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