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
Citácia podle Chicago (17th ed.)Hensel, Christian, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, a 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.
Citácia podľa MLA (8th ed.)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.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..