APA (7th ed.) Citation

Siddharth, K. (2021). Automated Verification of Concurrent Search Structures. Springer International Publishing AG.

Chicago Style (17th ed.) Citation

Siddharth, Krishna. Automated Verification of Concurrent Search Structures. Cham: Springer International Publishing AG, 2021.

MLA (9th ed.) Citation

Siddharth, Krishna. Automated Verification of Concurrent Search Structures. Springer International Publishing AG, 2021.

Warning: These citations may not always be 100% accurate.