Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: M

Number of items: 1.

M

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. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 495-512. ISBN 978-3-642-31423-0. E-ISBN 978-3-642-31424-7. (doi:10.1007/978-3-642-31424-7_36) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:31891)

This list was generated on Fri May 10 23:18:24 2024 BST.