@inproceedings{92196,
  author = {Daniel Schwartz-Narbonne and Georg Weissenbacher and Sharad Malik},
  title = {Parallel assertions for architectures with weak memory models},
  year = {2012},
  journal = {International Symposium on Automated Technology for Verification and Analysis},
  pages = {254{\textendash}268},
  publisher = {Springer Berlin Heidelberg},
  language = {eng},
}