Jing Liu, Xinming Ye, Jun Zhang 0001, Jun Li, Yi Sun. Integrating functional verification and performance analysis for network protocols using CP-nets. In Proceedings of the 15th IEEE Symposium on Computers and Communications, ISCC 2010, Riccione, Italy, June 22-25, 2010. pages 963-965, IEEE, 2010. [doi]
Abstract is missing.