@inproceedings{DBLP:conf/chdl/ClarkeGHJLMN93,
  author    = {Edmund M. Clarke and
               Orna Grumberg and
               Hiromi Hiraishi and
               Somesh Jha and
               David E. Long and
               Kenneth L. McMillan and
               Linda A. Ness},
  title     = {Verification of the Futurebus+ Cache Coherence Protocol},
  booktitle = {Computer Hardware Description Languages and their Applications, Proceedings
               of the 11th {IFIP} {WG10.2} International Conference on Computer Hardware
               Description Languages and their Applications - {CHDL} '93, sponsored
               by {IFIP} {WG10.2} and in cooperation with {IEEE} COMPSOC, Ottawa,
               Ontario, Canada, 26-28 April, 1993},
  pages     = {15--30},
  year      = {1993},
  timestamp = {Thu, 03 Jan 2002 11:54:34 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/chdl/ClarkeGHJLMN93},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  url       = {CHDL93.pdf}                  
}