BibTeX record journals/corr/HolikMVW17

download as .bib file

@article{DBLP:journals/corr/HolikMVW17,
  author    = {Luk{\'{a}}s Hol{\'{\i}}k and
               Roland Meyer and
               Tom{\'{a}}s Vojnar and
               Sebastian Wolff},
  title     = {Effect Summaries for Thread-Modular Analysis},
  journal   = {CoRR},
  volume    = {abs/1705.03701},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.03701},
  eprinttype = {arXiv},
  eprint    = {1705.03701},
  timestamp = {Wed, 02 Dec 2020 12:05:02 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/HolikMVW17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics