References
Next: About this document
Up: The Formal Verification of
Previous: The Formal Verification
References
- 1
-
Paul Curzon.
The formal verification of the Fairisle ATM switching element.
Technical Report 329, University of Cambridge Computer Laboratory,
1994.
- 2
-
Paul Curzon.
The formal verification of the Fairisle ATM switching element: an
overview.
Technical Report 328, University of Cambridge Computer Laboratory,
1994.
Paul Curzon