L. Ivanov, R. Nunna. Modeling and verification of cache coherence protocols. In International Symposium on Circuits and Systems (ISCAS 2001), 6-9 May 2001, Sydney, Australia. pages 129-132, IEEE, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.