A Geometric Windowing Algorithm in Network Data-Plane Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Richard Chen' in GoogleThis author has not been identified. Look up 'Toru Mano' in GoogleThis author has not been identified. Look up 'Takeru Inoue' in GoogleThis author has not been identified. Look up 'Kimihiro Mizutani' in GoogleThis author has not been identified. Look up 'Hisashi Nagata' in GoogleThis author has not been identified. Look up 'Osamu Akashi' in Google

runs on WebDSL