%0 Conference Paper %1 conf/hpca/ZhangBES14 %A Zhang, Meng %A Bingham, Jesse D. %A Erickson, John %A Sorin, Daniel J. %B HPCA %D 2014 %I IEEE Computer Society %K dblp %P 392-403 %T PVCoherence: Designing flat coherence protocols for scalable verification. %U http://dblp.uni-trier.de/db/conf/hpca/hpca2014.html#ZhangBES14 %@ 978-1-4799-3097-5

@inproceedings{conf/hpca/ZhangBES14, added-at = {2019-03-14T00:00:00.000+0100}, author = {Zhang, Meng and Bingham, Jesse D. and Erickson, John and Sorin, Daniel J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/27d74a0e1437000770c24554278e0ecd1/dblp}, booktitle = {HPCA}, crossref = {conf/hpca/2014}, ee = {http://doi.ieeecomputersociety.org/10.1109/HPCA.2014.6835949}, interhash = {d3322fcc2c8623c2cb473f2173223044}, intrahash = {7d74a0e1437000770c24554278e0ecd1}, isbn = {978-1-4799-3097-5}, keywords = {dblp}, pages = {392-403}, publisher = {IEEE Computer Society}, timestamp = {2019-09-27T20:13:43.000+0200}, title = {PVCoherence: Designing flat coherence protocols for scalable verification.}, url = {http://dblp.uni-trier.de/db/conf/hpca/hpca2014.html#ZhangBES14}, year = 2014 }