BibTeX record conf/lics/HoffmannMS13

download as .bib file

@inproceedings{DBLP:conf/lics/HoffmannMS13,
  author    = {Jan Hoffmann and
               Michael Marmar and
               Zhong Shao},
  title     = {Quantitative Reasoning for Proving Lock-Freedom},
  booktitle = {{LICS}},
  pages     = {124--133},
  publisher = {{IEEE} Computer Society},
  year      = {2013}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics