[IEEE 2016 IEEE/CIC International Conference on Communications in China (ICCC Workshops) - Chengdu, China (2016.7.27-2016.7.29)] 2016 IEEE/CIC International Conference on Communications in China (ICCC Workshops) - An algebraic approach for verifying compositions of SDN components
Xu Yuzhuang,, Hu Kai,, Huang Jiehua,, Wu Kai,Year:
2016
Language:
english
DOI:
10.1109/ICCChinaW.2016.7586712
File:
PDF, 931 KB
english, 2016