J. Strother Moore. An ACL2 Proof of Write Invalidate Cache Coherence. In Alan J. Hu, Moshe Y. Vardi, editors, Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings. Volume 1427 of Lecture Notes in Computer Science, pages 29-38, Springer, 1998.
@inproceedings{Moore98:2,
title = {An ACL2 Proof of Write Invalidate Cache Coherence},
author = {J. Strother Moore},
year = {1998},
tags = {caching},
researchr = {https://researchr.org/publication/Moore98%3A2},
cites = {0},
citedby = {0},
pages = {29-38},
booktitle = {Computer Aided Verification, 10th International Conference, CAV 98, Vancouver, BC, Canada, June 28 - July 2, 1998, Proceedings},
editor = {Alan J. Hu and Moshe Y. Vardi},
volume = {1427},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64608-6},
}