ChongI08'

BibTeX

@inproceedings{DBLP:conf/asplos/ChongI08,
  author    = {Nathan Chong and
               Samin Ishtiaq},
  title     = {Reasoning about the ARM weakly consistent memory model},
  booktitle = {MSPC},
  year      = {2008},
  pages     = {16-19},
  ee        = {http://doi.acm.org/10.1145/1353522.1353528},
  crossref  = {DBLP:conf/asplos/2008mspc},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/asplos/2008mspc,
  editor    = {Emery D. Berger and
               Brad Chen},
  title     = {Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems
               Performance and Correctness: held in conjunction with the
               Thirteenth International Conference on Architectural Support
               for Programming Languages and Operating Systems (ASPLOS
               '08), Seattle, Washington, USA, March 2, 2008},
  booktitle = {MSPC},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-60558-049-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}