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 Style (17th ed.) CitationChen, Xiaoyu, Zhiming Song, Guangming Dai, Maocai Wang, Emiliano Ortore, and 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 (9th ed.) CitationChen, 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.