Toshio Tonouchi. Policy-based verification method for configurations of large network with header-space analyses. In 18th Asia-Pacific Network Operations and Management Symposium, APNOMS 2016, Kanazawa, Japan, October 5-7, 2016. pages 1-4, IEEE, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.