%0 Conference Paper %1 conf/fase/FengKP11 %A Feng, Lu %A Kwiatkowska, Marta Z. %A Parker, David %B FASE %D 2011 %E Giannakopoulou, Dimitra %E Orejas, Fernando %I Springer %K dblp %P 2-17 %T Automated Learning of Probabilistic Assumptions for Compositional Reasoning. %U http://dblp.uni-trier.de/db/conf/fase/fase2011.html#FengKP11 %V 6603 %@ 978-3-642-19810-6

@inproceedings{conf/fase/FengKP11, added-at = {2019-02-06T00:00:00.000+0100}, author = {Feng, Lu and Kwiatkowska, Marta Z. and Parker, David}, biburl = {https://www.bibsonomy.org/bibtex/25062dee3a2bd6241d4a265cf0edcc75a/dblp}, booktitle = {FASE}, crossref = {conf/fase/2011}, editor = {Giannakopoulou, Dimitra and Orejas, Fernando}, ee = {https://doi.org/10.1007/978-3-642-19811-3_2}, interhash = {31ff47fee32e9124a9f85d38460d7a23}, intrahash = {5062dee3a2bd6241d4a265cf0edcc75a}, isbn = {978-3-642-19810-6}, keywords = {dblp}, pages = {2-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:58:11.000+0200}, title = {Automated Learning of Probabilistic Assumptions for Compositional Reasoning.}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2011.html#FengKP11}, volume = 6603, year = 2011 }