The Formal Verification of the Fairisle ATM Switching Element (1994)

by P Curzon