Reachability Analysis for AWS-Based Networks (bibtex)
by John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
Reference:
Reachability Analysis for AWS-Based NetworksJohn Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake WhaleyComputer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, pages 231–241, 2019.
Bibtex Entry:
@inproceedings{DBLP:conf/cav/BackesBCDGHKKKK19,
  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},
  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
               {II}},
  pages     = {231--241},
  year      = {2019},
  crossref  = {DBLP:conf/cav/2019-2},
  url       = {https://doi.org/10.1007/978-3-030-25543-5\_14},
  doi       = {10.1007/978-3-030-25543-5\_14},
  timestamp = {Tue, 20 Aug 2019 15:26:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/BackesBCDGHKKKK19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser