APA (7th ed.) Citation

Besson, F., Jensen, T., Le Métayer, D., & Thorn, T. (2001). Model checking security properties of control flow graphs. Journal of Computer Security, 9(3), 217. https://doi.org/10.3233/JCS-2001-9303

Chicago Style (17th ed.) Citation

Besson, Frédéric, Thomas Jensen, Daniel Le Métayer, and Tommy Thorn. "Model Checking Security Properties of Control Flow Graphs." Journal of Computer Security 9, no. 3 (2001): 217. https://doi.org/10.3233/JCS-2001-9303.

MLA (9th ed.) Citation

Besson, Frédéric, et al. "Model Checking Security Properties of Control Flow Graphs." Journal of Computer Security, vol. 9, no. 3, 2001, p. 217, https://doi.org/10.3233/JCS-2001-9303.