@PhDThesis{Wil15,
author={Clemens Wiltsche},
title={Assume-Guarantee Strategy Synthesis for Stochastic Games},
school={University of Oxford},
year={2015},

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