Milo M. K. Martin. Formal Verification and its Impact on the Snooping versus Directory Protocol Debate. In 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA. pages 543-449, IEEE Computer Society, 2005. [doi]
Abstract is missing.