Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains
Lecture notes in computer science, pp. 207–230
Authors 5
-
Linus Heck corresponding
Affiliation as printed
Radboud University, Nijmegen, The Netherlands
-
Tim Quatmann Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
-
Jip Spel Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
-
Joost-Pieter Katoen Aachen
Affiliation as printed
RWTH Aachen University, Aachen, Germany
-
Affiliation as printed
Radboud University, Nijmegen, The Netherlands
Cited by 1 stored of 1
1 result
No patents citing this paper on Lens.org (checked 2026-10-06).