APA (7th ed.) Citation

Oortwijn, W., Gurov, D., & Huisman, M. (2020). An Abstraction Technique for Verifying Shared-Memory Concurrency †. Applied Sciences (2076-3417), 10(11), 3928. https://doi.org/10.3390/app10113928

Chicago Style (17th ed.) Citation

Oortwijn, Wytse, Dilian Gurov, and Marieke Huisman. "An Abstraction Technique for Verifying Shared-Memory Concurrency †." Applied Sciences (2076-3417) 10, no. 11 (2020): 3928. https://doi.org/10.3390/app10113928.

MLA (9th ed.) Citation

Oortwijn, Wytse, et al. "An Abstraction Technique for Verifying Shared-Memory Concurrency †." Applied Sciences (2076-3417), vol. 10, no. 11, 2020, p. 3928, https://doi.org/10.3390/app10113928.