Checking Cache-Coherence Protocols with TLA+

Overview of attention for article published in Formal Methods in System Design, March 2003

Altmetric Badge

Mentioned by

patent: 1 patent

Citations

dimensions_citation: 42 Dimensions

Readers on

mendeley: 26 Mendeley
citeulike: 1 CiteULike

Summary Patents Dimensions citations

So far, Altmetric has seen 1 patent that references this research output.

System and method for updating owner predictors

Grant US-7962696-B2

United States of America