BibTeX record conf/fmcad/BinghamGB11

download as .bib file

@inproceedings{DBLP:conf/fmcad/BinghamGB11,
  author    = {Brad D. Bingham and
               Mark R. Greenstreet and
               Jesse D. Bingham},
  editor    = {Per Bjesse and
               Anna Slobodov{\'{a}}},
  title     = {Parameterized verification of deadlock freedom in symmetric cache
               coherence protocols},
  booktitle = {International Conference on Formal Methods in Computer-Aided Design,
               {FMCAD} '11, Austin, TX, USA, October 30 - November 02, 2011},
  pages     = {186--195},
  publisher = {{FMCAD} Inc.},
  year      = {2011},
  url       = {http://dl.acm.org/citation.cfm?id=2157683},
  timestamp = {Sat, 29 Apr 2017 16:20:33 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/BinghamGB11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics