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]
Abstract is missing.