Sciweavers

ICFEM
2003
Springer

Compositional Verification of a Switch Fabric from Nortel Networks

14 years 5 months ago
Compositional Verification of a Switch Fabric from Nortel Networks
Hong Peng, Sofiène Tahar, Yassine Mokhtari
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where ICFEM
Authors Hong Peng, Sofiène Tahar, Yassine Mokhtari
Comments (0)