%0 Thesis %1 phd/ethos/Lu16 %A Lu, Yu %D 2016 %K %T Probabilistic verification of satellite systems for mission critical applications.

@phdthesis{phd/ethos/Lu16, added-at = {2023-12-12T23:03:12.000+0100}, author = {Lu, Yu}, biburl = {https://www.bibsonomy.org/bibtex/273fa8e10162828a33583e0aa3f7f041a/admin}, ee = {http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.693777}, interhash = {51aa47a202917c206249e1d71b1c3402}, intrahash = {73fa8e10162828a33583e0aa3f7f041a}, keywords = {}, note = {British Library, EThOS}, school = {University of Glasgow, UK}, timestamp = {2023-12-12T23:03:12.000+0100}, title = {Probabilistic verification of satellite systems for mission critical applications.}, year = 2016 }