guest ::
TY - CHAP AU - Hensel, Hans Christian AU - Junges, Sebastian AU - Quatmann, Tim AU - Volk, Matthias TI - Riding the Storm in a Probabilistic Model Checking Landscape VL - 15261 CY - Cham PB - Springer M1 - RWTH-2025-02082 T2 - Lecture notes in computer science SP - 98-114 PY - 2025 N1 - First Online: 13 November 2024 LB - PUB:(DE-HGF)7 DO - DOI:10.1007/978-3-031-75775-4_5 UR - https://publications.rwth-aachen.de/record/1005892 ER -