Verifying Concurrent Multicopy Search Structures

MLA

Dennis Shasha, et al. Verifying Concurrent Multicopy Search Structures. Jan. 2021. EBSCOhost, https://doi.org/10.48550/arxiv.2109.05631.

APA

Dennis Shasha, Nisarg Patel, Thomas Wies, & Siddharth Krishna. (2021). Verifying Concurrent Multicopy Search Structures. https://doi.org/10.48550/arxiv.2109.05631

Chicago

Dennis Shasha, Nisarg Patel, Thomas Wies, and Siddharth Krishna. 2021. “Verifying Concurrent Multicopy Search Structures,” January. doi:10.48550/arxiv.2109.05631.