Chen, X., Song, Z., Dai, G., Wang, M., Ortore, E., & Circi, C. (2022). A General Formal Method for Manifold Coverage Analysis of Satellite Constellations. IEEE transactions on aerospace and electronic systems, 58(2), 1462-1479. https://doi.org/10.1109/TAES.2021.3123236
Chicago-Zitierstil (17. Ausg.)Chen, Xiaoyu, Zhiming Song, Guangming Dai, Maocai Wang, Emiliano Ortore, und Christian Circi. "A General Formal Method for Manifold Coverage Analysis of Satellite Constellations." IEEE Transactions on Aerospace and Electronic Systems 58, no. 2 (2022): 1462-1479. https://doi.org/10.1109/TAES.2021.3123236.
MLA-Zitierstil (9. Ausg.)Chen, Xiaoyu, et al. "A General Formal Method for Manifold Coverage Analysis of Satellite Constellations." IEEE Transactions on Aerospace and Electronic Systems, vol. 58, no. 2, 2022, pp. 1462-1479, https://doi.org/10.1109/TAES.2021.3123236.