APA (7th ed.) Citation

OUAKNINE, J., PALIKAREVA, H., ROSCOE, A. W., & WORRELL, J. (2013). A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP. Logical Methods in Computer Science (LMCS), 9(3), 1. https://doi.org/10.2168/lmcs-9(3:24)2013

Chicago Style (17th ed.) Citation

OUAKNINE, JOËL, HRISTINA PALIKAREVA, A. W. ROSCOE, and JAMES WORRELL. "A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP." Logical Methods in Computer Science (LMCS) 9, no. 3 (2013): 1. https://doi.org/10.2168/lmcs-9(3:24)2013.

MLA (9th ed.) Citation

OUAKNINE, JOËL, et al. "A STATIC ANALYSIS FRAMEWORK FOR LIVELOCK FREEDOM IN CSP." Logical Methods in Computer Science (LMCS), vol. 9, no. 3, 2013, p. 1, https://doi.org/10.2168/lmcs-9(3:24)2013.