Parameter Synthesis in Markov Models: A Gentle Survey
Lecture notes in computer science, pp. 407–437
Authors 3
-
Affiliation as printed
Radboud University, Nijmegen, The Netherlands
-
Affiliation as printed
Radboud University, Nijmegen, The Netherlands
-
Affiliation as printed
RWTH Aachen University, Aachen, Germany
Cited by 15 stored of 15
15 results
No patents citing this paper on Lens.org (checked 2026-10-06).