Integrating functional verification and performance analysis for network protocols using CP-nets.

Jing Liu, Xinming Ye, Jun Zhang, Jun Li, Yi Sun

Browse the full ISCC paper archive.