@InProceedings{FKP10,
author={L. Feng and M. Kwiatkowska and D. Parker},
title={Compositional Verification of Probabilistic Systems using Learning},
booktitle={Proc. 7th International Conference on Quantitative Evaluation of SysTems (QEST'10)},
year={2010},

editor={},
pages={133--142},
organization={},
publisher={IEEE CS Press},
series={},
volume={},
address={},
month={},
note={},
key={}
}