@book{a6f23081e3c649a3bbd9bf530454d81c,
title = "Principles of Verification: Cycling the Probabilistic Landscape - Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II",
editor = "Nils Jansen and Sebastian Junges and Kaminski, \{Benjamin Lucien\} and Christoph Matheja and Thomas Noll and Tim Quatmann and Mari{\"e}lle Stoelinga and Matthias Volk",
year = "2025",
doi = "10.1007/978-3-031-75775-4",
language = "English",
isbn = "978-3-031-75774-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
address = "Germany",
}