APA (7th ed.) Citation

Kremer, S., & Künnemann, R. (2016). Automated analysis of security protocols with global state. Journal of Computer Security, 24(5), 583. https://doi.org/10.3233/JCS-160556

Chicago Style (17th ed.) Citation

Kremer, Steve, and Robert Künnemann. "Automated Analysis of Security Protocols with Global State." Journal of Computer Security 24, no. 5 (2016): 583. https://doi.org/10.3233/JCS-160556.

MLA (9th ed.) Citation

Kremer, Steve, and Robert Künnemann. "Automated Analysis of Security Protocols with Global State." Journal of Computer Security, vol. 24, no. 5, 2016, p. 583, https://doi.org/10.3233/JCS-160556.