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]
@inproceedings{Tonouchi16, title = {Policy-based verification method for configurations of large network with header-space analyses}, author = {Toshio Tonouchi}, year = {2016}, doi = {10.1109/APNOMS.2016.7737248}, url = {http://dx.doi.org/10.1109/APNOMS.2016.7737248}, researchr = {https://researchr.org/publication/Tonouchi16}, cites = {0}, citedby = {0}, pages = {1-4}, booktitle = {18th Asia-Pacific Network Operations and Management Symposium, APNOMS 2016, Kanazawa, Japan, October 5-7, 2016}, publisher = {IEEE}, isbn = {978-4-88552-304-5}, }