APA (7th ed.) Citation

Alshammari, N. H. (2026). Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication. 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC), Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual, COMPSAC, 1959. https://doi.org/10.1109/COMPSAC69091.2026.00286

Chicago Style (17th ed.) Citation

Alshammari, Nayef H. "Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication." 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC), Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual, COMPSAC 2026: 1959. https://doi.org/10.1109/COMPSAC69091.2026.00286.

MLA (9th ed.) Citation

Alshammari, Nayef H. "Runtime Verification of Interleaved Concurrent Systems with Shared-Variable Communication." 2026 IEEE 50th Annual Computers, Software, and Applications Conference (COMPSAC), Computers, Software, and Applications Conference (COMPSAC), 2026 IEEE 50th Annual, COMPSAC, 2026, p. 1959, https://doi.org/10.1109/COMPSAC69091.2026.00286.