BibTeX record conf/pldi/GuerraouiHJS08

download as .bib file

@inproceedings{DBLP:conf/pldi/GuerraouiHJS08,
  author    = {Rachid Guerraoui and
               Thomas A. Henzinger and
               Barbara Jobstmann and
               Vasu Singh},
  title     = {Model checking transactional memories},
  booktitle = {{PLDI}},
  pages     = {372--382},
  publisher = {{ACM}},
  year      = {2008}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics