NDLTD Global ETD Search
New Search
Return to search
Specification and proof in real-time systems
No description available.
Links & Downloads
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279830
Tags
005
Additional Fields
Identifer
oai:union.ndltd.org:bl.uk/oai:ethos.bl.uk:279830
Date
January 1991
Creators
Davies, Jim
Publisher
University of Oxford
Source Sets
Ethos UK
Detected Language
English
Type
Electronic Thesis or Dissertation
Page generated in 0.0012 seconds