TY  - RPRT
TI  - Herding Cats - Modelling, simulation, testing, and data-mining for weak memory
AU  - Jade Alglave
AU  - Luc Maranget
AU  - Michael Tautschnig
PY  - 2014
UR  - https://arxiv.org/abs/1308.6810
ID  - 1308.6810
ER  -