%0 Conference Paper %1 conf/dasc/TsengCSLW16 %A Tseng, Yen-Lun %A Chang, Guey-Yun %A Shih, Chun-Chung %A Liu, Yue-Xin %A Wu, Tien-Hsiang %B DASC/PiCom/DataCom/CyberSciTech %D 2016 %I IEEE Computer Society %K dblp %P 400-405 %T Range Encoding-Based Network Verification in SDN. %U http://dblp.uni-trier.de/db/conf/dasc/dasc2016.html#TsengCSLW16 %@ 978-1-5090-4065-0

@inproceedings{conf/dasc/TsengCSLW16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Tseng, Yen-Lun and Chang, Guey-Yun and Shih, Chun-Chung and Liu, Yue-Xin and Wu, Tien-Hsiang}, biburl = {https://www.bibsonomy.org/bibtex/28345046efeb1228e162078e6c7117610/dblp}, booktitle = {DASC/PiCom/DataCom/CyberSciTech}, crossref = {conf/dasc/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/DASC-PICom-DataCom-CyberSciTec.2016.82}, interhash = {0f84223944a5c5b19d3932c847add7a7}, intrahash = {8345046efeb1228e162078e6c7117610}, isbn = {978-1-5090-4065-0}, keywords = {dblp}, pages = {400-405}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T09:28:31.000+0200}, title = {Range Encoding-Based Network Verification in SDN.}, url = {http://dblp.uni-trier.de/db/conf/dasc/dasc2016.html#TsengCSLW16}, year = 2016 }