@PhDThesis{Sim14,
author={A. Simaitis},
title={Automatic Verication of Competitive Stochastic Systems},
school={Department of Computer Science, University of Oxford},
year={2014},

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