%0 Thesis %1 phd/ethos/CardellOliver92 %A Cardell-Oliver, Rachel %D 1992 %K %T The formal verification of hard real-time systems.

@phdthesis{phd/ethos/CardellOliver92, added-at = {2023-12-14T14:35:44.000+0100}, author = {Cardell-Oliver, Rachel}, biburl = {https://www.bibsonomy.org/bibtex/23dbfb8e6618ad3182be91c68fcb4f89b/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239756}, interhash = {e11e54b805f36097d61238282f3025af}, intrahash = {3dbfb8e6618ad3182be91c68fcb4f89b}, keywords = {}, note = {British Library, EThOS}, school = {University of Cambridge, UK}, timestamp = {2023-12-14T14:35:44.000+0100}, title = {The formal verification of hard real-time systems.}, year = 1992 }