An Approach to Modeling and Verifying Router-Based Network

Dandan Sun, Huaikou Miao, Shengbo Chen, Honghao Gao. An Approach to Modeling and Verifying Router-Based Network. In Teruhisa Hochin, Roger Y. Lee, editors, 13th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2012, Kyoto, Japan, August 8-10, 2012. pages 283-288, IEEE Computer Society, 2012. [doi]

Abstract

Abstract is missing.