The formal veri cation of the Fairisle ATM switching element: An overview (1994)

by P Curzon