@PhDThesis{Fen13,
author={L. Feng},
title={On Learning Assumptions for Compositional Verification of Probabilistic Systems},
school={University of Oxford},
year={2013},

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