TY  - RPRT
TI  - Verification of a lazy cache coherence protocol against a weak memory model
AU  - Christopher J. Banks
AU  - Marco Elver
AU  - Ruth Hoffmann
AU  - Susmit Sarkar
AU  - Paul Jackson
AU  - Vijay Nagarajan
PY  - 2017
UR  - https://arxiv.org/abs/1705.08262
ID  - 1705.08262
ER  -