@inbook{MoosbruggerBartocciKatoenKovacs:ESOP:2021,
    title = {Automated Termination Analysis of Polynomial Probabilistic Programs},
    isbn = {9783030720193},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-030-72019-3_18},
    doi = {10.1007/978-3-030-72019-3_18},
    booktitle = {Lecture Notes in Computer Science},
    publisher = {Springer International Publishing},
    author = {Moosbrugger, Marcel and Bartocci, Ezio and Katoen, Joost-Pieter and Kovács, Laura},
    year = {2021},
    pages = {491–518},
    date-added = {2023-11-23 22:39:55 +0100}
}

@inbook{MoosbruggerBartocciKatoenKovacs:ESOP:2021, title = {Automated Termination Analysis of Polynomial Probabilistic Programs}, isbn = {9783030720193}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-030-72019-3_18}, doi = {10.1007/978-3-030-72019-3_18}, booktitle = {Lecture Notes in Computer Science}, publisher = {Springer International Publishing}, author = {Moosbrugger, Marcel and Bartocci, Ezio and Katoen, Joost-Pieter and Kovács, Laura}, year = {2021}, pages = {491–518}, date-added = {2023-11-23 22:39:55 +0100} }