Takeru Inoue, Richard Chen, Toru Mano, Kimihiro Mizutani, Hisashi Nagata, Osamu Akashi. An efficient framework for data-plane verification with geometric windowing queries. In 24th IEEE International Conference on Network Protocols, ICNP 2016, Singapore, November 8-11, 2016. pages 1-10, IEEE Computer Society, 2016. [doi]
@inproceedings{InoueCMMNA16,
title = {An efficient framework for data-plane verification with geometric windowing queries},
author = {Takeru Inoue and Richard Chen and Toru Mano and Kimihiro Mizutani and Hisashi Nagata and Osamu Akashi},
year = {2016},
doi = {10.1109/ICNP.2016.7784412},
url = {http://doi.ieeecomputersociety.org/10.1109/ICNP.2016.7784412},
researchr = {https://researchr.org/publication/InoueCMMNA16},
cites = {0},
citedby = {0},
pages = {1-10},
booktitle = {24th IEEE International Conference on Network Protocols, ICNP 2016, Singapore, November 8-11, 2016},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-3281-5},
}