APA (7th ed.) Citation

Barnat, J., Brim, L., & Ročkai, P. (2012). On-the-fly parallel model checking algorithm that is optimal for verification of weak LTL properties. Science of Computer Programming, 77(12), 1272. https://doi.org/10.1016/j.scico.2011.03.001

Chicago Style (17th ed.) Citation

Barnat, Jiří, Luboš Brim, and Petr Ročkai. "On-the-fly Parallel Model Checking Algorithm That Is Optimal for Verification of Weak LTL Properties." Science of Computer Programming 77, no. 12 (2012): 1272. https://doi.org/10.1016/j.scico.2011.03.001.

MLA (9th ed.) Citation

Barnat, Jiří, et al. "On-the-fly Parallel Model Checking Algorithm That Is Optimal for Verification of Weak LTL Properties." Science of Computer Programming, vol. 77, no. 12, 2012, p. 1272, https://doi.org/10.1016/j.scico.2011.03.001.