David Mentré, Daniel Le Métayer, Thierry Priol. Formalization and Verification of Coherence Protocols with the Gamma Framework. In PDSE. pages 105-113, 2000. [doi]
No references recorded for this publication.
No citations of this publication recorded.