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.