D. J. Kinniment
3 published titles
Modellling and verification of timing conditions with the Boyer Moore Prover
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Laboratory
- 1991
- Details
Verification of timing conditions using a theorem prover
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Laboratory
- 1991
- Details
Synchronization and arbitration in digital systems
1 edition
- ISBN: 9780470510827
- John Wiley & Sons
- 2007
- Details