A. Koelmans
8 published titles
Adventure description language : a new way to generate adventure programs
(Contributor)
1 edition
- ISBN: 1850580111
- Sigma
- 1985
- Details
Modellling and verification of timing conditions with the Boyer Moore Prover
1 edition
- University of Newcastle upon Tyne, Computing Laboratory
- 1991
- Details
Verification of timing conditions using a theorem prover
1 edition
- University of Newcastle upon Tyne, Computing Laboratory
- 1991
- Details
A 2-phase asynchronous event driven buffer with completion detection signalling
(Contributor)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 1997
- Details
The Fifth UK Embedded Forum : 23-24 September 2009, University of Leicester, UK
(Contributor)
1 edition
- ISBN: 9780701702229
- Newcastle University
- 2009
- Details
The 2010 UK Electronics Forum : 30 June-1 July 2010, Newcastle University, UK.
(Contributor)
1 edition
- ISBN: 9780701702328
- Newcastle University
- 2010
- Details
The 2011 UK Electronics Forum : 4 July - 5 July 2011, Manchester University, UK
(Contributor)
1 edition
- ISBN: 9780701702397
- Newcastle University
- 2011
- Details
The 2012 UK Electronics Forum : 30 August - 31 August 2012, Newcastle University, UK
(Contributor)
1 edition
- ISBN: 9780701702458
- Newcastle University
- 2012
- Details