APA-Zitierstil (7. Ausg.)

Safari, M., & Huisman, M. (2022). Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. Theoretical computer science, 912, 81-98. https://doi.org/10.1016/j.tcs.2022.02.027

Chicago-Zitierstil (17. Ausg.)

Safari, Mohsen, und Marieke Huisman. "Formal Verification of Parallel Prefix Sum and Stream Compaction Algorithms in CUDA." Theoretical Computer Science 912 (2022): 81-98. https://doi.org/10.1016/j.tcs.2022.02.027.

MLA-Zitierstil (9. Ausg.)

Safari, Mohsen, und Marieke Huisman. "Formal Verification of Parallel Prefix Sum and Stream Compaction Algorithms in CUDA." Theoretical Computer Science, vol. 912, 2022, pp. 81-98, https://doi.org/10.1016/j.tcs.2022.02.027.