Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free Algorithms (bibtex)
by Thomas Pani, Georg Weissenbacher, Florian Zuleger
Reference:
Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free AlgorithmsThomas Pani, Georg Weissenbacher, Florian ZulegerFormal Methods in Computer Aided Design, FMCAD (Nikolaj Bjørner, Arie Gurfinkel, eds.), pages 1–9, 2018, IEEE.
Bibtex Entry:
@inproceedings{DBLP:conf/fmcad/PaniWZ18,
  author    = {Thomas Pani and
               Georg Weissenbacher and
               Florian Zuleger},
  editor    = {Nikolaj Bj{\o}rner and
               Arie Gurfinkel},
  title     = {Rely-Guarantee Reasoning for Automated Bound Analysis of Lock-Free
               Algorithms},
  booktitle = {Formal Methods in Computer Aided Design, {FMCAD}},
  pages     = {1--9},
  publisher = {{IEEE}},
  year      = {2018},
  url       = {https://doi.org/10.23919/FMCAD.2018.8603020},
  doi       = {10.23919/FMCAD.2018.8603020},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/conf/fmcad/PaniWZ18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  keywords  = {"tmca"}
}
Powered by bibtexbrowser