h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Spork, Timm
%A Baier, Christel
%A Katoen, Joost-Pieter
%A Klüppelholz, Sascha
%A Piribauer, Jakob
%T Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
%V 15932
%C Cham
%I Springer Nature Switzerland
%M RWTH-2025-09529
%B Lecture Notes in Computer Science
%P 56-81
%D 2025
%< Computer Aided Verification : 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
%B 37. International Conference on Computer Aided Verification-CAV-Annual
%C 23 Jul 2025 - 25 Jul 2025, Zagreb (Croatia)
Y2 23 Jul 2025 - 25 Jul 2025
M2 Zagreb, Croatia
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%U <Go to ISI:>//WOS:001562506600003
%R 10.1007/978-3-031-98679-6_3
%U https://publications.rwth-aachen.de/record/1021248