TY  - RPRT
TI  - Formal Specification and Quantitative Analysis of a Constellation of Navigation Satellites
AU  - Zhaoguang Peng
AU  - Yu Lu
AU  - Alice Miller
AU  - Tingdi Zhao
AU  - Chris Johnson
PY  - 2014
DO  - 10.1002/qre.1754
UR  - https://arxiv.org/abs/1402.5599
ID  - 1402.5599
ER  -