APA (7th ed.) Citation

Kwiatkowska, M., Norman, G., & Parker, D. (2025). Probabilistic Model Checking: Applications and Trends.

Chicago Style (17th ed.) Citation

Kwiatkowska, Marta, Gethin Norman, and David Parker. Probabilistic Model Checking: Applications and Trends. 2025.

MLA (9th ed.) Citation

Kwiatkowska, Marta, et al. Probabilistic Model Checking: Applications and Trends. 2025.