APA-Zitierstil (7. Ausg.)

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

Chicago-Zitierstil (17. Ausg.)

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

MLA-Zitierstil (9. Ausg.)

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.