BibTeX record conf/ppopp/PetersonD19

download as .bib file

@inproceedings{DBLP:conf/ppopp/PetersonD19,
  author    = {Christina L. Peterson and
               Damian Dechev},
  editor    = {Quan Chen and
               Zhiyi Huang and
               Min Si},
  title     = {Formal Verification through Combinatorial Topology: the CAS-Extended
               Model},
  booktitle = {Proceedings of the 10th International Workshop on Programming Models
               and Applications for Multicores and Manycores, PMAM@PPoPP 2019, Washington,
               DC, USA, February 17, 2019},
  pages     = {61--70},
  publisher = {{ACM}},
  year      = {2019},
  url       = {https://doi.org/10.1145/3303084.3309493},
  doi       = {10.1145/3303084.3309493},
  timestamp = {Wed, 15 Jan 2020 18:09:50 +0100},
  biburl    = {https://dblp.org/rec/conf/ppopp/PetersonD19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics