Style de citation APA (7e éd.)

Ye, K., Yan, F., & Gerasimou, S. (2024). Quantitative Assurance and Synthesis of Controllers from Activity Diagrams.

Style de citation Chicago (17e éd.)

Ye, Kangfeng, Fang Yan, et Simos Gerasimou. Quantitative Assurance and Synthesis of Controllers from Activity Diagrams. 2024.

Style de citation MLA (9e éd.)

Ye, Kangfeng, et al. Quantitative Assurance and Synthesis of Controllers from Activity Diagrams. 2024.