@inproceedings{Liang:2018:VTB,
  title = "Verification of Tree-Based Hierarchical {Read-Copy Update} in the {Linux Kernel}",
  author = "Lihao Liang and Paul E. McKenney and Daniel Kroening and Tom Melham",
  year = "2018",
  booktitle = "2018 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2018, Dresden, Germany, March 19--23, 2018",
  note = "To appear.",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Liang-2018-VTB.pdf",
}