%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 = {2020-03-27T00:00:00.000+0100}, 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 = {2024-10-07T08:13:21.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 }