%0 Conference Paper %1 conf/cav/EsparzaGK12 %A Esparza, Javier %A Gaiser, Andreas %A Kiefer, Stefan %B CAV %D 2012 %E Madhusudan, P. %E Seshia, Sanjit A. %I Springer %K conference %P 123-138 %R 10.1007/978-3-642-31424-7_14 %T Proving Termination of Probabilistic Programs Using Patterns. %V 7358 %@ 978-3-642-31423-0

@inproceedings{conf/cav/EsparzaGK12, added-at = {2018-11-04T17:39:51.000+0100}, author = {Esparza, Javier and Gaiser, Andreas and Kiefer, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/27c14ab00b8ee0e03e2a1474d56b3ec66/paves_previous}, booktitle = {CAV}, crossref = {conf/cav/2012}, doi = {10.1007/978-3-642-31424-7_14}, editor = {Madhusudan, P. and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-642-31424-7_14}, interhash = {a79c928e6ac409398c50939953d6289e}, intrahash = {7c14ab00b8ee0e03e2a1474d56b3ec66}, isbn = {978-3-642-31423-0}, keywords = {conference}, pages = {123-138}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-09-24T19:50:24.000+0200}, title = {Proving Termination of Probabilistic Programs Using Patterns.}, volume = 7358, year = 2012 }