Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking (bibtex)

by Kenneth L. McMillan

Reference:

Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking (Kenneth L. McMillan), In Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings, 2001.

Bibtex Entry:

@inproceedings{DBLP:conf/charme/McMillan01,
  author    = {Kenneth L. McMillan},
  title     = {Parameterized Verification of the {FLASH} Cache Coherence Protocol
               by Compositional Model Checking},
  booktitle = {Correct Hardware Design and Verification Methods, 11th {IFIP} {WG}
               10.5 Advanced Research Working Conference, {CHARME} 2001, Livingston,
               Scotland, UK, September 4-7, 2001, Proceedings},
  pages     = {179--195},
  year      = {2001},
  url       = {CHARME01.pdf},
  doi       = {10.1007/3-540-44798-9\_17},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/charme/McMillan01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}