APA (7th ed.) Citation

Winter, K., Smith, G., & Derrick, J. (2019). Modelling concurrent objects running on the TSO and ARMv8 memory models. Science of Computer Programming, 184, N.PAG. https://doi.org/10.1016/j.scico.2019.102308

Chicago Style (17th ed.) Citation

Winter, Kirsten, Graeme Smith, and John Derrick. "Modelling Concurrent Objects Running on the TSO and ARMv8 Memory Models." Science of Computer Programming 184 (2019): N.PAG. https://doi.org/10.1016/j.scico.2019.102308.

MLA (9th ed.) Citation

Winter, Kirsten, et al. "Modelling Concurrent Objects Running on the TSO and ARMv8 Memory Models." Science of Computer Programming, vol. 184, 2019, p. N.PAG, https://doi.org/10.1016/j.scico.2019.102308.