APA (7th ed.) Citation

DOHERTY, S., DALVANDI, S., DONGOL, B., & WEHRHEIM, H. (2022). Unifying Operational Weak Memory Verification: An Axiomatic Approach. ACM Transactions on Computational Logic, 23(4), 1. https://doi.org/10.1145/3545117

Chicago Style (17th ed.) Citation

DOHERTY, SIMON, SADEGH DALVANDI, BRIJESH DONGOL, and HEIKE WEHRHEIM. "Unifying Operational Weak Memory Verification: An Axiomatic Approach." ACM Transactions on Computational Logic 23, no. 4 (2022): 1. https://doi.org/10.1145/3545117.

MLA (9th ed.) Citation

DOHERTY, SIMON, et al. "Unifying Operational Weak Memory Verification: An Axiomatic Approach." ACM Transactions on Computational Logic, vol. 23, no. 4, 2022, p. 1, https://doi.org/10.1145/3545117.