APA (7th ed.) Citation

SCHELLHORN, G., DERRICK, J., & WEHRHEIM, H. (2014). A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures. ACM Transactions on Computational Logic, 15(4), 1. https://doi.org/10.1145/2629496

Chicago Style (17th ed.) Citation

SCHELLHORN, GERHARD, JOHN DERRICK, and HEIKE WEHRHEIM. "A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures." ACM Transactions on Computational Logic 15, no. 4 (2014): 1. https://doi.org/10.1145/2629496.

MLA (9th ed.) Citation

SCHELLHORN, GERHARD, et al. "A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures." ACM Transactions on Computational Logic, vol. 15, no. 4, 2014, p. 1, https://doi.org/10.1145/2629496.