"SRV: Switch-based rules verification in software defined networking."

Yuchia Tseng, Zonghua Zhang, Farid Naït-Abdesselam (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics