Yu, Q., Cao, Z., Zong, H. und Zhou, Y. (2025) „Symoblic Model Checking for Multi-Agent Systems Based on ATLE“, in. doi:10.1109/SEAI65851.2025.11108853.
Chicago Manual of Style 17th edition (full note)Yu, Qixian, Zining Cao, Hui Zong, und Yuan Zhou. „Symoblic Model Checking for Multi-Agent Systems Based on ATLE“. In . https://doi.org/10.1109/SEAI65851.2025.11108853.
American Psychological Association 7th editionYu, Q., Cao, Z., Zong, H., & Zhou, Y. (2025, Juni 20). Symoblic Model Checking for Multi-Agent Systems Based on ATLE. https://doi.org/10.1109/SEAI65851.2025.11108853
Modern Language Association 9th editionYu, Q., Z. Cao, H. Zong, und Y. Zhou. Symoblic Model Checking for Multi-Agent Systems Based on ATLE. 2025, https://doi.org/10.1109/SEAI65851.2025.11108853.
ISO-690 (author-date, Deutsch)YU, Qixian, Zining CAO, Hui ZONG und Yuan ZHOU, 2025. Symoblic Model Checking for Multi-Agent Systems Based on ATLE. In: . 20 Juni 2025