Hensel, C., Junges, S., Katoen, J., Quatmann, T., & Volk, M. (2022). The probabilistic model checker Storm. International journal on software tools for technology transfer, 24(4), 589-610. https://doi.org/10.1007/s10009-021-00633-z
Chicago-Zitierstil (17. Ausg.)Hensel, Christian, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, und Matthias Volk. "The Probabilistic Model Checker Storm." International Journal on Software Tools for Technology Transfer 24, no. 4 (2022): 589-610. https://doi.org/10.1007/s10009-021-00633-z.
MLA-Zitierstil (9. Ausg.)Hensel, Christian, et al. "The Probabilistic Model Checker Storm." International Journal on Software Tools for Technology Transfer, vol. 24, no. 4, 2022, pp. 589-610, https://doi.org/10.1007/s10009-021-00633-z.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.