%0 Conference Paper %1 conf/atva/FengZJZX17 %A Feng, Yijun %A Zhang, Lijun %A Jansen, David N. %A Zhan, Naijun %A Xia, Bican %B ATVA %D 2017 %E D'Souza, Deepak %E Kumar, K. Narayan %I Springer %K %P 400-416 %T Finding Polynomial Loop Invariants for Probabilistic Programs. %U http://dblp.uni-trier.de/db/conf/atva/atva2017.html#FengZJZX17 %V 10482 %@ 978-3-319-68167-2

@inproceedings{conf/atva/FengZJZX17, added-at = {2023-12-12T21:31:48.000+0100}, author = {Feng, Yijun and Zhang, Lijun and Jansen, David N. and Zhan, Naijun and Xia, Bican}, biburl = {https://www.bibsonomy.org/bibtex/212a4cfd0873cc99013a7aa5ae7c2d01c/admin}, booktitle = {ATVA}, crossref = {conf/atva/2017}, editor = {D'Souza, Deepak and Kumar, K. Narayan}, ee = {https://doi.org/10.1007/978-3-319-68167-2_26}, interhash = {3f8bbae882911ae60a2c616ef765277c}, intrahash = {12a4cfd0873cc99013a7aa5ae7c2d01c}, isbn = {978-3-319-68167-2}, keywords = {}, pages = {400-416}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:31:48.000+0100}, title = {Finding Polynomial Loop Invariants for Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/conf/atva/atva2017.html#FengZJZX17}, volume = 10482, year = 2017 }