%0 Journal Article %1 journals/pacmpl/FengCSKKZ23 %A Feng, Shenghua %A Chen, Mingshuai %A Su, Han %A Kaminski, Benjamin Lucien %A Katoen, Joost-Pieter %A Zhan, Naijun %D 2023 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA1 %P 696-726 %T Lower Bounds for Possibly Divergent Probabilistic Programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#FengCSKKZ23 %V 7

@article{journals/pacmpl/FengCSKKZ23, added-at = {2023-05-17T00:00:00.000+0200}, author = {Feng, Shenghua and Chen, Mingshuai and Su, Han and Kaminski, Benjamin Lucien and Katoen, Joost-Pieter and Zhan, Naijun}, biburl = {https://www.bibsonomy.org/bibtex/24d3a4cb4ef2f329c79e51e9a00beb4d0/dblp}, ee = {https://doi.org/10.1145/3586051}, interhash = {b5f36e163dc7802b060d5562b9f3790c}, intrahash = {4d3a4cb4ef2f329c79e51e9a00beb4d0}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {April}, number = {OOPSLA1}, pages = {696-726}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {Lower Bounds for Possibly Divergent Probabilistic Programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#FengCSKKZ23}, volume = 7, year = 2023 }