Cite
APA Citation
Peng, Z., Lu, Y., Miller, A., Zhao, T., & Johnson, C. (n.d.). formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. Quality and reliability engineering international, 32, 345–361. http://access.bl.uk/ark:/81055/vdc_100028748852.0x000035