Menu

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

obnb.uk is a Good Stuff website.