![[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]()
[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 VerificationChen, Richard; Mano, Toru; Inoue, Takeru; Mizutani, Kimihiro; Nagata, Hisashi; Akashi, Osamu · 2016