APA (7th ed.) Citation

Volk, M., Heck, L., Junges, S., Katoen, J., & Quatmann, T. (2026). Probabilistic Model Checking Taken by Storm.

Chicago Style (17th ed.) Citation

Volk, Matthias, Linus Heck, Sebastian Junges, Joost-Pieter Katoen, and Tim Quatmann. Probabilistic Model Checking Taken by Storm. 2026.

MLA (9th ed.) Citation

Volk, Matthias, et al. Probabilistic Model Checking Taken by Storm. 2026.