Yuchia Tseng, Zonghua Zhang, Farid Naït-Abdesselam. SRV: Switch-based rules verification in software defined networking. In IEEE NetSoft Conference and Workshops, NetSoft 2016, Seoul, South Korea, June 6-10, 2016. pages 477-482, IEEE, 2016. [doi]
Abstract is missing.