APA (7th ed.) Citation

González-Burgueño, A., & Ölveczky, P. C. (2021). Formalizing and analyzing security ceremonies with heterogeneous devices in ANP and PDL. Journal of logical and algebraic methods in programming, 122, 100685. https://doi.org/10.1016/j.jlamp.2021.100685

Chicago Style (17th ed.) Citation

González-Burgueño, Antonio, and Peter Csaba Ölveczky. "Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL." Journal of Logical and Algebraic Methods in Programming 122 (2021): 100685. https://doi.org/10.1016/j.jlamp.2021.100685.

MLA (9th ed.) Citation

González-Burgueño, Antonio, and Peter Csaba Ölveczky. "Formalizing and Analyzing Security Ceremonies with Heterogeneous Devices in ANP and PDL." Journal of Logical and Algebraic Methods in Programming, vol. 122, 2021, p. 100685, https://doi.org/10.1016/j.jlamp.2021.100685.