%0 Journal Article %1 journals/qre/PengLMZJ16 %A Peng, Zhaoguang %A Lu, Yu %A Miller, Alice %A Zhao, Tingdi %A Johnson, Chris W. %D 2016 %J Quality and Reliability Eng. Int. %K %N 2 %P 345-361 %T Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites. %U http://dblp.uni-trier.de/db/journals/qre/qre32.html#PengLMZJ16 %V 32

@article{journals/qre/PengLMZJ16, added-at = {2023-12-13T09:40:35.000+0100}, author = {Peng, Zhaoguang and Lu, Yu and Miller, Alice and Zhao, Tingdi and Johnson, Chris W.}, biburl = {https://www.bibsonomy.org/bibtex/23b6c8bc81b0dfac5103c9f1cc6ca2e5d/admin}, ee = {http://dx.doi.org/10.1002/qre.1754}, interhash = {d07b11934d69f76f2b25667ab779a2fd}, intrahash = {3b6c8bc81b0dfac5103c9f1cc6ca2e5d}, journal = {Quality and Reliability Eng. Int.}, keywords = {}, number = 2, pages = {345-361}, timestamp = {2023-12-13T09:40:35.000+0100}, title = {Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites.}, url = {http://dblp.uni-trier.de/db/journals/qre/qre32.html#PengLMZJ16}, volume = 32, year = 2016 }