Equivalence and its applications to network verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Dragos Dumitrescu' in GoogleThis author has not been identified. Look up 'Radu Stoenescu' in GoogleThis author has not been identified. Look up 'Matei Popovici' in GoogleThis author has not been identified. Look up 'Lorina Negreanu' in GoogleThis author has not been identified. Look up 'Costin Raiciu' in Google

runs on WebDSL