Edmund M. Clarke, Orna Grumberg, Hiromi Hiraishi, Somesh Jha, David E. Long, Kenneth L. McMillan, Linda A. Ness. Verification of the Futurebus+ Cache Coherence Protocol. Formal Methods in System Design, 6(2):217-232, 1995.
@article{ClarkeGHJLMN95, title = {Verification of the Futurebus+ Cache Coherence Protocol}, 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}, year = {1995}, tags = {caching, protocol}, researchr = {https://researchr.org/publication/ClarkeGHJLMN95}, cites = {0}, citedby = {0}, journal = {Formal Methods in System Design}, volume = {6}, number = {2}, pages = {217-232}, }