APA (7th ed.) Citation

Nagar, K., Mukherjee, P., & Jagannathan, S. (2020). Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.

Chicago Style (17th ed.) Citation

Nagar, Kartik, Prasita Mukherjee, and Suresh Jagannathan. Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. 2020.

MLA (9th ed.) Citation

Nagar, Kartik, et al. Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. 2020.