Nisarg PatelBooksSustained Simulation Performance 2016Sustained Simulation Performance 2014Automated Verification of Concurrent Search StructuresAuthor data: Open Library