ISSN 1000-1239 CN 11-1777/TP
MapReduce-Based Network Property Verification Technique for OpenFlow Network
Liu Yi, Lei Cheng, Zhang Hongqi, Yang Yingjie
Journal of Computer Research and Development . 2016, (11): 2500 -2511 .  DOI: 10.7544/issn1000-1239.2016.20150521