Compositional Verification of a Switch Fabric from Nortel Networks.

Hong Peng, Sofine Tahar, Yassine Mokhtari

Browse the full ICFEM paper archive.