Feldman, Y. M. Y., Khyzha, A., Enea, C., Morrison, A., Nanevski, A., Rinetzky, N., & Shoham, S. (2020). Proving Highly-Concurrent Traversals Correct.
Chicago-Zitierstil (17. Ausg.)Feldman, Yotam M. Y., Artem Khyzha, Constantin Enea, Adam Morrison, Aleksandar Nanevski, Noam Rinetzky, und Sharon Shoham. Proving Highly-Concurrent Traversals Correct. 2020.
MLA-Zitierstil (9. Ausg.)Feldman, Yotam M. Y., et al. Proving Highly-Concurrent Traversals Correct. 2020.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.