TY  - RPRT
TI  - Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel
AU  - Lihao Liang
AU  - Paul E. McKenney
AU  - Daniel Kroening
AU  - Tom Melham
PY  - 2018
DO  - 10.23919/date.2018.8341980
UR  - https://arxiv.org/abs/1610.03052
ID  - 1610.03052
ER  -