@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",
  editor = "Jan Madsen and Ayse K. Coskun",
  isbn = "978-3-9819263-1-6",
  issn = "1558-1101",
  pages = "61--66",
  publisher = "European Design and Automation Association",
  url = "http://www.cs.ox.ac.uk/tom.melham/pub/Liang-2018-VTB.pdf",
  doi = "10.23919/DATE.2018.8341980",
}