A Geometric Windowing Algorithm in Network Data-Plane Verification.

Richard Chen, Toru Mano, Takeru Inoue, Kimihiro Mizutani, Hisashi Nagata, Osamu Akashi

Browse the full ICDCS paper archive.