Jianping Wu, Zhongjie Li, Xia Yin. Towards Modeling and Testing of IP Routing Protocols. In Dieter Hogrefe, Anthony Wiles, editors, Testing of Communicating Systems, 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings. Volume 2644 of Lecture Notes in Computer Science, pages 49-62, Springer, 2003. [doi]
Abstract is missing.