[IEEE 2016 IEEE 24th International Conference on Network Protocols (ICNP) - Singapore (2016.11.8-2016.11.11)] 2016 IEEE 24th International Conference on Network Protocols (ICNP) - An efficient framework for data-plane verification with geometric windowing queries
Inoue, Takeru; Chen, Richard; Mano, Toru; Mizutani, Kimihiro; Nagata, Hisashi; Akashi, Osamu
- 作者Inoue, Takeru; Chen, Richard; Mano, Toru; Mizutani, Kimihiro; Nagata, Hisashi; Akashi, Osamu
- 文件大小618.66KB
- 发表时间2016
- DOI10.1109/ICNP.2016.7784412
- 页码1-10