@article{ZHU Ge:74, author = {ZHU Ge, ZENG Guo-sun, DING Chun-ling and WANG Wei}, title = {Analysis and Verification for OpenFlow Multi-switch Protocol Based on Model Checking}, publisher = {Computer Science}, year = {2016}, journal = {Computer Science}, volume = {43}, number = {10}, eid = {74}, numpages = {6}, pages = {74}, keywords = {OpenFlow protocol,Model checking,Protocol action automata machine,Temporary logic}, url = {https://www.jsjkx.com/EN/abstract/article_15704.shtml}, doi = {10.11896/j.issn.1002-137X.2016.10.014} }