@InProceedings{FHKP11,
author={L. Feng and T. Han and M. Kwiatkowska and D. Parker},
title={Learning-based Compositional Verification for Synchronous Probabilistic Systems},
booktitle={Proc. 9th International Symposium on Automated Technology for Verification and Analysis (ATVA'11)},
year={2011},

editor={},
pages={511--521},
organization={},
publisher={Springer},
series={LNCS},
volume={6996},
address={},
month={},
note={},
key={}
}