CP-Nets Based Methodology for Integrating Functional Verification and Performance Analysis of Network Protocol.

Jing Liu, Xinming Ye, Jun Li

Browse the full SNPD paper archive.