BibTeX record conf/cav/BackesBCDGHKKKK19

download as .bib file

  author    = {John Backes and
               Sam Bayless and
               Byron Cook and
               Catherine Dodge and
               Andrew Gacek and
               Alan J. Hu and
               Temesghen Kahsai and
               Bill Kocik and
               Evgenii Kotelnikov and
               Jure Kukovec and
               Sean McLaughlin and
               Jason Reed and
               Neha Rungta and
               John Sizemore and
               Mark A. Stalzer and
               Preethi Srinivasan and
               Pavle Subotic and
               Carsten Varming and
               Blake Whaley},
  editor    = {Isil Dillig and
               Serdar Tasiran},
  title     = {Reachability Analysis for AWS-Based Networks},
  booktitle = {Computer Aided Verification - 31st International Conference, {CAV}
               2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part
  series    = {Lecture Notes in Computer Science},
  volume    = {11562},
  pages     = {231--241},
  publisher = {Springer},
  year      = {2019},
  url       = {\_14},
  doi       = {10.1007/978-3-030-25543-5\_14},
  timestamp = {Fri, 31 Jan 2020 21:32:18 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
a service of Schloss Dagstuhl - Leibniz Center for Informatics