Dragos Dumitrescu, Radu Stoenescu, Matei Popovici, Lorina Negreanu, Costin Raiciu. Equivalence and its applications to network verification. In Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, SIGCOMM 2018, Budapest, Hungary, August 20-25, 2018. pages 21-23, ACM, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.