@InProceedings{FKP11,
author={L. Feng and M. Kwiatkowska and D. Parker},
title={Automated Learning of Probabilistic Assumptions for Compositional Reasoning},
booktitle={Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11)},
year={2011},

editor={D. Giannakopoulou and F. Orejas},
pages={2--17},
organization={},
publisher={Springer},
series={LNCS},
volume={6603},
address={},
month={},
note={},
key={}
}