%0 Conference Paper %1 conf/fmcad/BanksEHSJN17 %A Banks, Christopher J. %A Elver, Marco %A Hoffmann, Ruth %A Sarkar, Susmit %A Jackson, Paul B. %A Nagarajan, Vijay %B FMCAD %D 2017 %E Stewart, Daryl %E Weissenbacher, Georg %I IEEE %K %P 60-67 %T Verification of a lazy cache coherence protocol against a weak memory model. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2017.html#BanksEHSJN17 %@ 978-0-9835678-7-5

@inproceedings{conf/fmcad/BanksEHSJN17, added-at = {2023-12-12T20:01:48.000+0100}, author = {Banks, Christopher J. and Elver, Marco and Hoffmann, Ruth and Sarkar, Susmit and Jackson, Paul B. and Nagarajan, Vijay}, biburl = {https://www.bibsonomy.org/bibtex/204709dd1ca520c541ecd2ac569a80c8c/admin}, booktitle = {FMCAD}, crossref = {conf/fmcad/2017}, editor = {Stewart, Daryl and Weissenbacher, Georg}, ee = {https://doi.org/10.23919/FMCAD.2017.8102242}, interhash = {297e595ebd81bad3242c08531668a1e5}, intrahash = {04709dd1ca520c541ecd2ac569a80c8c}, isbn = {978-0-9835678-7-5}, keywords = {}, pages = {60-67}, publisher = {IEEE}, timestamp = {2023-12-12T20:01:48.000+0100}, title = {Verification of a lazy cache coherence protocol against a weak memory model.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2017.html#BanksEHSJN17}, year = 2017 }