@inproceedings{fences-cav10,
title     = {Fences in Weak Memory Models},
author    = {Jade Alglave and
             Luc Maranget and
             Susmit Sarkar and
             Peter Sewell},
booktitle = {22${}^{nd}$ International Conference on Computer Aided Verification (CAV)},
series    = {Lecture Notes in Computer Science},
volume    = {6174},
month     = {July},
year      = {2010},
pages     = {258--272},
}