Cite
HARVARD Citation
Peng, Z. et al. (n.d.). Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Quality and reliability engineering international. pp. 345-361. [Online].
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Peng, Z. et al. (n.d.). Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Quality and reliability engineering international. pp. 345-361. [Online].