h1

h2

h3

h4

h5
h6
%0 Book Section
%A Abraham, Erika
%A Jansen, Nils
%A Jantsch, Simon
%T Probabilistic Counterexamples Through the Ages
%V 15760
%C Cham
%I Springer Nature Switzerland
%M RWTH-2026-02698
%B Lecture Notes in Computer Science
%P 174-196
%D 2026
%Z First Online: 30 August 2025
%< Principles of Formal Quantitative Analysis: Essays Dedicated to Christel Baier on the Occasion of Her 60th Birthday / edited by Nathalie Bertrand, Clemens Dubslaff, Sascha Klüppelholz
%F PUB:(DE-HGF)7
%9 Contribution to a book
%R 10.1007/978-3-031-97439-7_8
%U https://publications.rwth-aachen.de/record/1030002