✓

@book{book_107876639,
    title = {Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III},
    author = {Jansen, Nils and Junges, Sebastian and Kaminski, Benjamin Lucien and Matheja, Christoph and Noll, Thomas and Quatmann, Tim and Stoelinga, Mariëlle and Volk, Matthias},
    doi = {https://doi.org/10.1007/978-3-031-75778-5},
    publisher = {Springer Nature},
    isbn = {9783031757778; 9783031757785},
    year = {2025},
    series = {Lecture Notes in Computer Science},
    edition = {1},
    url = {libgen.li/file.php?md5=1b3a6b1428f706eff7e5696292894cbd},
    date-added = {2026-2-17 8:9:52 +0100}
}

@book{book_107876639, title = {Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III}, author = {Jansen, Nils and Junges, Sebastian and Kaminski, Benjamin Lucien and Matheja, Christoph and Noll, Thomas and Quatmann, Tim and Stoelinga, Mariëlle and Volk, Matthias}, doi = {https://doi.org/10.1007/978-3-031-75778-5}, publisher = {Springer Nature}, isbn = {9783031757778; 9783031757785}, year = {2025}, series = {Lecture Notes in Computer Science}, edition = {1}, url = {libgen.li/file.php?md5=1b3a6b1428f706eff7e5696292894cbd}, date-added = {2026-2-17 8:9:52 +0100} }