J. W. Coleman
4 published titles
Determining the specification of a control system : an illustrative example
1 edition
- University of Newcastle upon Tyne
- 2006
- Details
A structural proof of the soundness of rely/guarantee rules (revised)
1 edition
- University of Newcastle upon Tyne, Computing Science
- 2007
- Details
Extending computational tree logic with relations and undefinedness
1 edition
- Computing Science, Newcastle University
- 2010
- Details
How paranoid are you? : issues in location information of ambient systems
(Contributor)
1 edition
