Showing 1 - 3 of 3 Results
1.
Automated Verification of Concurrent Search Structures by Krishna, Siddharth, Patel, ... ISBN: 9781636391281
2.
Automated Verification of Concurrent Search Structures by Krishna, Siddharth, Patel, ... ISBN: 9781636391304
3.
Automated Verification of Concurrent Search Structures by Siddharth, Krishna, Nisarg,... ISBN: 9783031006784