Jing Liu, Xinming Ye, Jun Li. CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol. In Jixin Ma, Liz Bacon, Wencai Du, Miltos Petridis, editors, 11th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2010, London, England, UK, June 9-11, 2010. pages 41-46, IEEE Computer Society, 2010. [doi]
Abstract is missing.