%0 Conference Paper %1 conf/fmcad/McMillan16 %A McMillan, Kenneth L. %B FMCAD %D 2016 %E Piskac, Ruzica %E Talupur, Muralidhar %I IEEE %K dblp %P 109-116 %T Modular specification and verification of a cache-coherent interface. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#McMillan16 %@ 978-0-9835678-6-8

@inproceedings{conf/fmcad/McMillan16, added-at = {2017-03-31T00:00:00.000+0200}, author = {McMillan, Kenneth L.}, biburl = {https://www.bibsonomy.org/bibtex/25caa33c4582c8881736b4cf7d625c9d9/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2016}, editor = {Piskac, Ruzica and Talupur, Muralidhar}, ee = {http://dx.doi.org/10.1109/FMCAD.2016.7886668}, interhash = {9877f622eab6b7e8c498f8e17bdbaad9}, intrahash = {5caa33c4582c8881736b4cf7d625c9d9}, isbn = {978-0-9835678-6-8}, keywords = {dblp}, pages = {109-116}, publisher = {IEEE}, timestamp = {2017-04-01T11:35:34.000+0200}, title = {Modular specification and verification of a cache-coherent interface.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2016.html#McMillan16}, year = 2016 }