An efficient framework for data-plane verification with geometric windowing queries - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takeru Inoue, Richard Chen, Toru Mano, Kimihiro Mizutani, Hisashi Nagata, Osamu Akashi. An efficient framework for data-plane verification with geometric windowing queries. In 24th IEEE International Conference on Network Protocols, ICNP 2016, Singapore, November 8-11, 2016. pages 1-10, IEEE Computer Society, 2016. [doi]

This author has not been identified. Look up 'Takeru Inoue' in GoogleThis 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 '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