BibTeX records: Daniel Brim

download as .bib file

@inproceedings{DBLP:conf/cav/BackesBBBCGJLMM20,
  author    = {John Backes and
               Ulises Berrueco and
               Tyler Bray and
               Daniel Brim and
               Byron Cook and
               Andrew Gacek and
               Ranjit Jhala and
               Kasper S{\o}e Luckow and
               Sean McLaughlin and
               Madhav Menon and
               Daniel Peebles and
               Ujjwal Pugalia and
               Neha Rungta and
               Cole Schlesinger and
               Adam Schodde and
               Anvesh Tanuku and
               Carsten Varming and
               Deepa Viswanathan},
  title     = {Stratified Abstraction of Access Control Policies},
  booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
               2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  pages     = {165--176},
  year      = {2020},
  crossref  = {DBLP:conf/cav/2020-1},
  url       = {https://doi.org/10.1007/978-3-030-53288-8\_9},
  doi       = {10.1007/978-3-030-53288-8\_9},
  timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
  biburl    = {https://dblp.org/rec/conf/cav/BackesBBBCGJLMM20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2020-1,
  editor    = {Shuvendu K. Lahiri and
               Chao Wang},
  title     = {Computer Aided Verification - 32nd International Conference, {CAV}
               2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {12224},
  publisher = {Springer},
  year      = {2020},
  url       = {https://doi.org/10.1007/978-3-030-53288-8},
  doi       = {10.1007/978-3-030-53288-8},
  isbn      = {978-3-030-53287-1},
  timestamp = {Fri, 27 Nov 2020 19:09:57 +0100},
  biburl    = {https://dblp.org/rec/conf/cav/2020-1.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics