Mahadevan Subramaniam. Early Error Detection in Industrial Strength Cache Coherence Protocols Using SQL. In 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings. pages 290, IEEE Computer Society, 2003. [doi]