@inbook{Moosbrugger_2024,
    title = {Polar: An Algebraic Analyzer for (Probabilistic) Loops},
    isbn = {9783031757839},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-75783-9_8},
    doi = {10.1007/978-3-031-75783-9_8},
    booktitle = {Principles of Verification: Cycling the Probabilistic Landscape},
    publisher = {Springer Nature Switzerland},
    author = {Moosbrugger, Marcel and Müllner, Julian and Bartocci, Ezio and Kovács, Laura},
    year = {2024},
    month = {nov},
    pages = {179–200},
    date-added = {2024-11-25 14:44:28 +0100}
}

@inbook{Moosbrugger_2024, title = {Polar: An Algebraic Analyzer for (Probabilistic) Loops}, isbn = {9783031757839}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-75783-9_8}, doi = {10.1007/978-3-031-75783-9_8}, booktitle = {Principles of Verification: Cycling the Probabilistic Landscape}, publisher = {Springer Nature Switzerland}, author = {Moosbrugger, Marcel and Müllner, Julian and Bartocci, Ezio and Kovács, Laura}, year = {2024}, month = {nov}, pages = {179–200}, date-added = {2024-11-25 14:44:28 +0100} }