APA (7th ed.) Citation

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 Style (17th ed.) Citation

Safari, Mohsen, and 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 (9th ed.) Citation

Safari, Mohsen, and 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.