@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={} }