doi dblp
Automated Verification of Concurrent Search Structures
Siddharth Krishna | Nisarg Patel | Dennis E. Shasha | Thomas Wies