h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Spork, Timm
AU  - Baier, Christel
AU  - Katoen, Joost-Pieter
AU  - Klüppelholz, Sascha
AU  - Piribauer, Jakob
TI  - Approximate Probabilistic Bisimulation for Continuous-Time Markov Chains
VL  - 15932
CY  - Cham
PB  - Springer Nature Switzerland
M1  - RWTH-2025-09529
T2  - Lecture Notes in Computer Science
SP  - 56-81
PY  - 2025
T2  - 37. International Conference on Computer Aided Verification-CAV-Annual
CY  - 23 Jul 2025 - 25 Jul 2025, Zagreb (Croatia)
Y2  - 23 Jul 2025 - 25 Jul 2025
M2  - Zagreb, Croatia
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
UR  - <Go to ISI:>//WOS:001562506600003
DO  - DOI:10.1007/978-3-031-98679-6_3
UR  - https://publications.rwth-aachen.de/record/1021248
ER  -