Model Checking of a Real ATM Switch (1998)

by J Lu, S Tahar, D Voicu, X Song
Venue:Proc. IEEE International Conference on Computer Design (ICCD,98