Yen-Lun Tseng, Guey-Yun Chang, Chun-Chung Shih, Yue-Xin Liu, Tien-Hsiang Wu. Range Encoding-Based Network Verification in SDN. In 2016 IEEE 14th Intl Conf on Dependable, Autonomic and Secure Computing, 14th Intl Conf on Pervasive Intelligence and Computing, 2nd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2016, Auckland, New Zealand, August 8-12, 2016. pages 400-405, IEEE Computer Society, 2016. [doi]
Abstract is missing.