APA (7th ed.) Citation

Munteanu, A., Pasqua, M., & Merro, M. (2020, May). Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), 34-43. https://doi.org/10.1145/3372020.3391563

Chicago Style (17th ed.) Citation

Munteanu, Andrei, Michele Pasqua, and Massimo Merro. "Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking." 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE) May. 2020: 34-43. https://doi.org/10.1145/3372020.3391563.

MLA (9th ed.) Citation

Munteanu, Andrei, et al. "Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking." 2020 IEEE/ACM 8th International Conference on Formal Methods in Software Engineering (FormaliSE), May. 2020, pp. 34-43, https://doi.org/10.1145/3372020.3391563.