%0 Conference Paper %1 conf/sas/ZhangSX17 %A Zhang, Jieyuan %A Sui, Yulei %A Xue, Jingling %B SAS %D 2017 %E Ranzato, Francesco %I Springer %K dblp %P 450-472 %T Incremental Analysis for Probabilistic Programs. %U http://dblp.uni-trier.de/db/conf/sas/sas2017.html#ZhangSX17 %V 10422 %@ 978-3-319-66706-5

@inproceedings{conf/sas/ZhangSX17, added-at = {2019-09-16T00:00:00.000+0200}, author = {Zhang, Jieyuan and Sui, Yulei and Xue, Jingling}, biburl = {https://www.bibsonomy.org/bibtex/2c481a2e09381efeb2a50fab54c3f78f1/dblp}, booktitle = {SAS}, crossref = {conf/sas/2017}, editor = {Ranzato, Francesco}, ee = {https://doi.org/10.1007/978-3-319-66706-5_22}, interhash = {383bb36e49a022632535302aad46dc65}, intrahash = {c481a2e09381efeb2a50fab54c3f78f1}, isbn = {978-3-319-66706-5}, keywords = {dblp}, pages = {450-472}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T13:21:18.000+0200}, title = {Incremental Analysis for Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2017.html#ZhangSX17}, volume = 10422, year = 2017 }