h1

h2

h3

h4

h5
h6
%0 Conference Paper
%A Heck, Linus
%A Quatmann, Tim
%A Spel, Jip Josephine
%A Katoen, Joost-Pieter
%A Junges, Sebastian
%T Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
%V 16145
%C Cham
%I Springer Nature Switzerland
%M RWTH-2026-02230
%B Lecture Notes in Computer Science
%P 207-230
%D 2026
%Z First Online: 26 October 2025
%< Automated Technology for Verification and Analysis : 23rd International Symposium, ATVA 2025, Bengaluru, India, October 27–31, 2025, Proceedings / edited by Meenakshi D´Souza, Raghavan Komondoor, B. Srivathsan
%B Automated Technology for Verification and Analysis
%C ,  ()
%F PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
%9 Contribution to a bookContribution to a conference proceedings
%R 10.1007/978-3-032-08707-2_10
%U https://publications.rwth-aachen.de/record/1029328