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

@phdthesis{phd/ethos/CardellOliver92, added-at = {2022-04-05T00:00:00.000+0200}, author = {Cardell-Oliver, Rachel}, biburl = {https://www.bibsonomy.org/bibtex/23dbfb8e6618ad3182be91c68fcb4f89b/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239756}, interhash = {e11e54b805f36097d61238282f3025af}, intrahash = {3dbfb8e6618ad3182be91c68fcb4f89b}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Cambridge, UK}, timestamp = {2024-04-09T09:00:59.000+0200}, title = {The formal verification of hard real-time systems.}, year = 1992 }