APA (7th ed.) Citation

Cantin, J., Lipasti, M., & Smith, J. (2005). The complexity of verifying memory coherence and consistency. IEEE transactions on parallel and distributed systems, 16(7), 663-671. https://doi.org/10.1109/TPDS.2005.86

Chicago Style (17th ed.) Citation

Cantin, J.F, M.H Lipasti, and J.E Smith. "The Complexity of Verifying Memory Coherence and Consistency." IEEE Transactions on Parallel and Distributed Systems 16, no. 7 (2005): 663-671. https://doi.org/10.1109/TPDS.2005.86.

MLA (9th ed.) Citation

Cantin, J.F, et al. "The Complexity of Verifying Memory Coherence and Consistency." IEEE Transactions on Parallel and Distributed Systems, vol. 16, no. 7, 2005, pp. 663-671, https://doi.org/10.1109/TPDS.2005.86.