Richard Chen, Toru Mano, Takeru Inoue, Kimihiro Mizutani, Hisashi Nagata, Osamu Akashi. A Geometric Windowing Algorithm in Network Data-Plane Verification. In 36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016, Nara, Japan, June 27-30, 2016. pages 743-744, IEEE, 2016. [doi]
@inproceedings{ChenMIMNA16,
title = {A Geometric Windowing Algorithm in Network Data-Plane Verification},
author = {Richard Chen and Toru Mano and Takeru Inoue and Kimihiro Mizutani and Hisashi Nagata and Osamu Akashi},
year = {2016},
doi = {10.1109/ICDCS.2016.52},
url = {http://doi.ieeecomputersociety.org/10.1109/ICDCS.2016.52},
researchr = {https://researchr.org/publication/ChenMIMNA16},
cites = {0},
citedby = {0},
pages = {743-744},
booktitle = {36th IEEE International Conference on Distributed Computing Systems, ICDCS 2016, Nara, Japan, June 27-30, 2016},
publisher = {IEEE},
isbn = {978-1-5090-1483-5},
}