BibTeX record conf/pldi/CheremCG08

download as .bib file

@inproceedings{DBLP:conf/pldi/CheremCG08,
  author    = {Sigmund Cherem and
               Trishul M. Chilimbi and
               Sumit Gulwani},
  title     = {Inferring locks for atomic sections},
  booktitle = {{PLDI}},
  pages     = {304--315},
  publisher = {{ACM}},
  year      = {2008}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics