@inproceedings{FKP11,
  title = "Automated Learning of Probabilistic Assumptions for Compositional Reasoning",
  author = "L. Feng and M. Kwiatkowska and D. Parker",
  year = "2011",
  booktitle = "Proc. 14th International Conference on Fundamental Approaches to Software Engineering (FASE'11)",
  editor = "D. Giannakopoulou and F. Orejas",
  pages = "2--17",
  publisher = "Springer",
  series = "LNCS",
  volume = "6603",
}