The Veri cation of an ATM Switching Fabric using the HSIS Tool (1995)

by E H A Garcez