APA (7th ed.) Citation

Soundarapandian, V., Nagar, K., Rastogi, A., & Sivaramakrishnan, K. (2025). Automatically Verifying Replication-aware Linearizability.

Chicago Style (17th ed.) Citation

Soundarapandian, Vimala, Kartik Nagar, Aseem Rastogi, and KC Sivaramakrishnan. Automatically Verifying Replication-aware Linearizability. 2025.

MLA (9th ed.) Citation

Soundarapandian, Vimala, et al. Automatically Verifying Replication-aware Linearizability. 2025.