Konstantin Weitz, Doug Woos, Emina Torlak, Michael D. Ernst, Arvind Krishnamurthy, Zachary Tatlock. Scalable verification of border gateway protocol configurations with an SMT solver. In Eelco Visser, Yannis Smaragdakis, editors, Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016. pages 765-780, ACM, 2016. [doi]
@inproceedings{WeitzWTEKT16,
title = {Scalable verification of border gateway protocol configurations with an SMT solver},
author = {Konstantin Weitz and Doug Woos and Emina Torlak and Michael D. Ernst and Arvind Krishnamurthy and Zachary Tatlock},
year = {2016},
doi = {10.1145/2983990.2984012},
url = {http://doi.acm.org/10.1145/2983990.2984012},
researchr = {https://researchr.org/publication/WeitzWTEKT16},
cites = {0},
citedby = {0},
pages = {765-780},
booktitle = {Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2016, part of SPLASH 2016, Amsterdam, The Netherlands, October 30 - November 4, 2016},
editor = {Eelco Visser and Yannis Smaragdakis},
publisher = {ACM},
isbn = {978-1-4503-4444-9},
}