Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. Conference or workshop item
|
Mador-Haim, Sela and Maranget, Luc and Sarkar, Susmit and Memarian, Kayvan and Alglave, Jade and Owens, Scott and Alur, Rajeev and Martin, Milo M. K. and Sewell, Peter and Williams, Derek
(2012)
An Axiomatic Memory Model for POWER Multiprocessors.
In: Computer Aided Verification, 24th International Conference, CAV 2012, July 7th-13th, 2012, Berkeley, California, USA.
The full text of this publication is not available from this repository.
|
|
This list was generated on Fri May 24 17:49:54 2013 BST. |
