guest ::
TY - BOOK A3 - Jansen, Nils A3 - Junges, Sebastian A3 - Kaminski, Benjamin Lucien A3 - Matheja, Christoph A3 - Noll, Thomas A3 - Quatmann, Tim A3 - Stoelinga, Mariëlle A3 - Volk, Matthias TI - Principles of verification: cycling the probabilistic landscape, Part 1 VL - 15260 CY - Cham PB - Springer M1 - RWTH-2024-10968 SN - 978-3-031-75782-2 T2 - Lecture notes in computer science SP - xix, 447 Seiten : Illustrationen, Diagramme PY - 2025 N1 - Published November 2024 LB - PUB:(DE-HGF)3 DO - DOI:10.1007/978-3-031-75783-9 UR - https://publications.rwth-aachen.de/record/996988 ER -