h1

h2

h3

h4

h5
h6
%0 Book
%Y Jansen, Nils
%Y Junges, Sebastian
%Y Kaminski, Benjamin Lucien
%Y Matheja, Christoph
%Y Noll, Thomas
%Y Quatmann, Tim
%Y Stoelinga, Mariëlle
%Y Volk, Matthias
%T Principles of verification: cycling the probabilistic landscape, Part 1
%V 15260
%C Cham
%I Springer
%M RWTH-2024-10968
%@ 978-3-031-75782-2
%B Lecture notes in computer science
%P xix, 447 Seiten : Illustrationen, Diagramme
%D 2025
%Z Published November 2024
%F PUB:(DE-HGF)3
%9 Book
%R 10.1007/978-3-031-75783-9
%U https://publications.rwth-aachen.de/record/996988