Ryan Beckett, Ratul Mahajan. Putting network verification to good use. In Proceedings of the 18th ACM Workshop on Hot Topics in Networks, HotNets 2019, Princeton, NJ, USA, November 13-15, 2019. pages 77-84, ACM, 2019. [doi]
@inproceedings{BeckettM19, title = {Putting network verification to good use}, author = {Ryan Beckett and Ratul Mahajan}, year = {2019}, doi = {10.1145/3365609.3365866}, url = {https://doi.org/10.1145/3365609.3365866}, researchr = {https://researchr.org/publication/BeckettM19}, cites = {0}, citedby = {0}, pages = {77-84}, booktitle = {Proceedings of the 18th ACM Workshop on Hot Topics in Networks, HotNets 2019, Princeton, NJ, USA, November 13-15, 2019}, publisher = {ACM}, isbn = {978-1-4503-7020-2}, }