Parallel Assertions for Architectures with Weak Memory Models (bibtex)
by Daniel Schwartz-Narbonne, Georg Weissenbacher, Sharad Malik
Reference:
Parallel Assertions for Architectures with Weak Memory ModelsDaniel Schwartz-Narbonne, Georg Weissenbacher, Sharad MalikAutomated Technology for Verification and Analysis (ATVA) (Supratik Chakraborty, Madhavan Mukund, eds.), pages 254-268, 2012, Springer.
Bibtex Entry:
@inproceedings{sws2012,
   year      = {2012},
   booktitle = {Automated Technology for Verification and Analysis (ATVA)},
   series    = {Lecture Notes in Computer Science},
   editor    = {Chakraborty, Supratik and Mukund, Madhavan},
   doi       = {10.1007/978-3-642-33386-6_21},
   title     = {Parallel Assertions for Architectures with Weak Memory Models},
   url       = {http://dx.doi.org/10.1007/978-3-642-33386-6_21},
   publisher = {Springer},
   author    = {Schwartz-Narbonne, Daniel and Weissenbacher, Georg and Malik, Sharad},
   pages     = {254-268}
}
Powered by bibtexbrowser