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]
No reviews for this publication, yet.