Range Encoding-Based Network Verification in SDN. - Yen-Lun Tseng; Guey-Yun Chang; Chun-Chung Shih; Yue-Xin Liu; Tien-Hsiang Wu (DASC/PiCom/DataCom/CyberSciTech, 2016)