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

@phdthesis{phd/ethos/Lu16, added-at = {2022-04-05T00:00:00.000+0200}, author = {Lu, Yu}, biburl = {https://www.bibsonomy.org/bibtex/273fa8e10162828a33583e0aa3f7f041a/dblp}, ee = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.693777}, interhash = {51aa47a202917c206249e1d71b1c3402}, intrahash = {73fa8e10162828a33583e0aa3f7f041a}, keywords = {dblp}, note = {British Library, EThOS}, school = {University of Glasgow, UK}, timestamp = {2024-04-09T08:59:38.000+0200}, title = {Probabilistic verification of satellite systems for mission critical applications.}, year = 2016 }