Reachability Analysis for AWS-Based Networks
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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 0004, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
Reachability Analysis for AWS-Based Networks
CAV, 2019.

CAV p2 2019
Full names Links ISxN
	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 0004 and Neha Rungta and John Sizemore and Mark A. Stalzer and Preethi Srinivasan and Pavle Subotic and Carsten Varming and Blake Whaley",
	booktitle     = "{Proceedings of the 30st International Conference on Computer Aided Verification, Part II}",
	doi           = "10.1007/978-3-030-25543-5_14",
	isbn          = "['978-3-030-25542-8', '978-3-030-25543-5']",
	pages         = "231--241",
	publisher     = "{Springer}",
	title         = "{Reachability Analysis for AWS-Based Networks}",
	year          = 2019,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.