[IEEE 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS) - Nara, Japan (2016.6.27-2016.6.30)] 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS) - A Geometric Windowing Algorithm in Network Data-Plane Verification
Chen, Richard; Mano, Toru; Inoue, Takeru; Mizutani, Kimihiro; Nagata, Hisashi; Akashi, Osamu
- 作者Chen, Richard; Mano, Toru; Inoue, Takeru; Mizutani, Kimihiro; Nagata, Hisashi; Akashi, Osamu
- 文件大小199.54KB
- 发表时间2016
- DOI10.1109/icdcs.2016.52
- 页码743-744