Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/date/LiangMKM18
%A Liang, Lihao
%A McKenney, Paul E.
%A Kroening, Daniel
%A Melham, Tom
%B DATE
%D 2018
%E Madsen, Jan
%E Coskun, Ayse K.
%I IEEE
%K dblp
%P 61-66
%T Verification of tree-based hierarchical read-copy update in the Linux kernel.
%U http://dblp.uni-trier.de/db/conf/date/date2018.html#LiangMKM18
%@ 978-3-9819263-0-9
@inproceedings{conf/date/LiangMKM18,
added-at = {2018-04-24T00:00:00.000+0200},
author = {Liang, Lihao and McKenney, Paul E. and Kroening, Daniel and Melham, Tom},
biburl = {https://www.bibsonomy.org/bibtex/26fb095881bd0c5bc85f2e2f0ae17f457/dblp},
booktitle = {DATE},
crossref = {conf/date/2018},
editor = {Madsen, Jan and Coskun, Ayse K.},
ee = {https://doi.org/10.23919/DATE.2018.8341980},
interhash = {585d058a6bbde9b6118e8c44701c8605},
intrahash = {6fb095881bd0c5bc85f2e2f0ae17f457},
isbn = {978-3-9819263-0-9},
keywords = {dblp},
pages = {61-66},
publisher = {IEEE},
timestamp = {2019-10-17T15:04:19.000+0200},
title = {Verification of tree-based hierarchical read-copy update in the Linux kernel.},
url = {http://dblp.uni-trier.de/db/conf/date/date2018.html#LiangMKM18},
year = 2018
}