%0 Thesis %1 phd/ethos/Davies91 %A Davies, Jim %D 1991 %K %T Specification and proof in real-time systems.

@phdthesis{phd/ethos/Davies91, added-at = {2023-12-13T08:32:04.000+0100}, author = {Davies, Jim}, biburl = {https://www.bibsonomy.org/bibtex/2a896a9eee52abaa56450f0f797b73935/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279830}, interhash = {c4aa36029308b4dcdfa514d52aa717ac}, intrahash = {a896a9eee52abaa56450f0f797b73935}, keywords = {}, note = {British Library, EThOS}, school = {University of Oxford, UK}, timestamp = {2023-12-13T08:32:04.000+0100}, title = {Specification and proof in real-time systems.}, year = 1991 }