[untitled]
- 期刊名称Journal of Public Policy
- 作者Review by: Sheila B. Kamerman
- 卷第8卷
- 期第2期
- 印刷ISSN0143-814X
- 电子ISSN1469-7815
- 文件大小216.15KB
- 发表时间1988-0406
- DOI10.2307/4007210
- 页码220-222
[IEEE 2016 IEEE 24th International Conference on Network Protocols (ICNP) - Singapore (2016.11.8-2016.11.11)] 2016 IEEE 24th International Conference on Network Protocols (ICNP) - An efficient framework for data-plane verification with geometric windowing queriesInoue, Takeru; Chen, Richard; Mano, Toru; Mizutani, Kimihiro; Nagata, Hisashi; Akashi, Osamu · 2016
[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
Table of contentsIEEE Transactions on Network and Service Management · 2014
Table of ContentsIEEE Transactions on Network and Service Management · 2014
Table of ContentsIEEE Transactions on Network and Service Management · 2015
Table of ContentsIEEE Transactions on Network and Service Management · 2015
Table of ContentsIEEE Transactions on Network and Service Management · 2015
IEEE Transactions on Cloud ComputingIEEE Transactions on Network and Service Management · 2012
Table of ContentsIEEE Transactions on Network and Service Management · 2014
Table of ContentsIEEE Transactions on Network and Service Management · 2015