make the reference item: Liang2018 better by following the style of https://ieeexplore.ieee.org/document/8341980 Signed-off-by: Zhouyi Zhou <zhouzhouyi@xxxxxxxxx> --- Hi Paul and Akira I think we could make the reference item better by following the style of https://ieeexplore.ieee.org/document/8341980 and I invoked 'make' before submitting ;-) Thank you for your constant encouragement ;-) Thanks Zhouyi -- bib/swtools.bib | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bib/swtools.bib b/bib/swtools.bib index 31ce0025..cab1909d 100644 --- a/bib/swtools.bib +++ b/bib/swtools.bib @@ -737,8 +737,11 @@ Michalis Kokologiannakis", @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", + day = "19--23", + month = "March", year = "2018", - booktitle = "2018 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, {DATE} 2018, Dresden, Germany, March 19--23, 2018", + booktitle = "2018 Design, Automation {\&} Test in Europe Conference {\&} Exhibition (DATE)", + address = "Dresden, Germany", url = "http://www.cs.ox.ac.uk/tom.melham/pub/Liang-2018-VTB.pdf", } -- 2.25.1