Formal Veri cation of an ATM Switch Port Controller (1998)

by D Voicu, E Cerny, X Song
Venue:In Proceedings of the 5th Int. Conf. on Electronic Devices and Systems, Czech Rep