Wang, H., Wang, Y., Wei, R. und Zhao, X. (2025) „Towards a Model-Based Framework for Automated Traceable Systems and Probabilistic Model Checking“, in. doi:10.1109/ICCEA65460.2025.11103400.
Chicago Manual of Style 17th edition (full note)Wang, Haochi, Yingquan Wang, Ran Wei, und Xudong Zhao. „Towards a Model-Based Framework for Automated Traceable Systems and Probabilistic Model Checking“. In . https://doi.org/10.1109/ICCEA65460.2025.11103400.
American Psychological Association 7th editionWang, H., Wang, Y., Wei, R., & Zhao, X. (2025, April 25). Towards a Model-Based Framework for Automated Traceable Systems and Probabilistic Model Checking. https://doi.org/10.1109/ICCEA65460.2025.11103400
Modern Language Association 9th editionWang, H., Y. Wang, R. Wei, und X. Zhao. Towards a Model-Based Framework for Automated Traceable Systems and Probabilistic Model Checking. 2025, https://doi.org/10.1109/ICCEA65460.2025.11103400.
ISO-690 (author-date, Deutsch)WANG, Haochi, Yingquan WANG, Ran WEI und Xudong ZHAO, 2025. Towards a Model-Based Framework for Automated Traceable Systems and Probabilistic Model Checking. In: . 25 April 2025