Heck, L., Quatmann, T., Spel, J., Katoen, J., & Junges, S. (2025). Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains.
Chicago-Zitierstil (17. Ausg.)Heck, Linus, Tim Quatmann, Jip Spel, Joost-Pieter Katoen, und Sebastian Junges. Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. 2025.
MLA-Zitierstil (9. Ausg.)Heck, Linus, et al. Generalized Parameter Lifting: Finer Abstractions for Parametric Markov Chains. 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.