@inproceedings{CAV-2019-BackesBCDGHKKKK,
	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,
}