TY  - RPRT
TI  - Decoupling Lock-Free Data Structures from Memory Reclamation for Static Analysis
AU  - Roland Meyer
AU  - Sebastian Wolff
PY  - 2018
UR  - https://arxiv.org/abs/1810.10807
ID  - 1810.10807
ER  -