Fingerprint
Dive into the research topics of 'Proving Concurrent Data Structures Linearizable'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Proving Concurrent Data Structures Linearizable
Vineet Singh, Iulian Neamtiu, Rajiv Gupta
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
4
Scopus
citations