Go home now Header Background Image
Submission Procedure
share: |
Follow us

Guy Tremblay
Dept. d'informatique, Université du Québec à Montréal, Canada

C. Wallace, G. Tremblay, J. N. Amaral:
An Abstract State Machine Specification and Verification of the Location Consistency Memory Model and Cache Protocol
page 1088 - 1112
Vol.7 / Issue 11