TY  - RPRT
TI  - Verifying Lock-free Search Structure Templates
AU  - Nisarg Patel
AU  - Dennis Shasha
AU  - Thomas Wies
PY  - 2024
UR  - https://arxiv.org/abs/2405.13271
ID  - 2405.13271
ER  -