Oortwijn, W., Gurov, D., & Huisman, M. (2020). An Abstraction Technique for Verifying Shared-Memory Concurrency. Applied sciences, 10(11), 3928. https://doi.org/10.3390/app10113928
Citácia podle Chicago (17th ed.)Oortwijn, Wytse, Dilian Gurov, a Marieke Huisman. "An Abstraction Technique for Verifying Shared-Memory Concurrency." Applied Sciences 10, no. 11 (2020): 3928. https://doi.org/10.3390/app10113928.
Citácia podľa MLA (8th ed.)Oortwijn, Wytse, et al. "An Abstraction Technique for Verifying Shared-Memory Concurrency." Applied Sciences, vol. 10, no. 11, 2020, p. 3928, https://doi.org/10.3390/app10113928.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..