@article{LiangTreeRCU16,
  title = "Verification of the Tree-Based Hierarchical Read-Copy Update in the Linux Kernel",
  author = "Lihao Liang and Paul E. McKenney and Daniel Kroening and Tom Melham",
  year = "2016",
  journal = "CoRR",
  month = "October",
  url = "http://arxiv.org/abs/1610.03052",
  volume = "abs/1610.03052",
}