✓

@book{principles2025,
    title = {Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I},
    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},
    isbn = {9783031757839},
    issn = {1611-3349},
    url = {http://dx.doi.org/10.1007/978-3-031-75783-9},
    doi = {10.1007/978-3-031-75783-9},
    journal = {Lecture Notes in Computer Science},
    publisher = {Springer Nature Switzerland},
    year = {2025},
    date-added = {2024-11-25 14:46:37 +0100}
}

@book{principles2025, title = {Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I}, 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}, isbn = {9783031757839}, issn = {1611-3349}, url = {http://dx.doi.org/10.1007/978-3-031-75783-9}, doi = {10.1007/978-3-031-75783-9}, journal = {Lecture Notes in Computer Science}, publisher = {Springer Nature Switzerland}, year = {2025}, date-added = {2024-11-25 14:46:37 +0100} }