Modeling and Veri cation of the Fairisle ATM Switch Fabric using MDGs (1999)

by S Tahar, X Song, E Cerny, Z Zhou, M Langevin, O Ait-Mohamed
Venue:IEEE Transactions on CAD of Integrated Circuits and Systems