APA (7th ed.) Citation

Nicoletti, S. M., Lopuhaä-Zwakenberg, M., Hahn, E. M., & Stoelinga, M. (2023). ATM: A Logic for Quantitative Security Properties on Attack Trees.

Chicago Style (17th ed.) Citation

Nicoletti, Stefano M., Milan Lopuhaä-Zwakenberg, E. Moritz Hahn, and Mariëlle Stoelinga. ATM: A Logic for Quantitative Security Properties on Attack Trees. 2023.

MLA (9th ed.) Citation

Nicoletti, Stefano M., et al. ATM: A Logic for Quantitative Security Properties on Attack Trees. 2023.