Mode1 Checking of a Real ATM Switch (1998)

by J Lu, S Tahar, D Voicu, X Song
Venue:In Proc. ZEEE Ziztenzaria~zal Conference on Cornputer Design