Nagar, K., Mukherjee, P., & Jagannathan, S. (2020). Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.
Citazione stile Chigago Style (17a edizione)Nagar, Kartik, Prasita Mukherjee, e Suresh Jagannathan. Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. 2020.
Citatione MLA (9a ed.)Nagar, Kartik, et al. Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems. 2020.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.