Style de citation APA (7e éd.)

Zhou, J., Wu, H., Yu, H., & Yang, K. (2025). Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems.

Style de citation Chicago (17e éd.)

Zhou, Jingyuan, Haoze Wu, Haokun Yu, et Kaidi Yang. Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems. 2025.

Style de citation MLA (9e éd.)

Zhou, Jingyuan, et al. Scalable Synthesis and Verification of String Stable Neural Certificates for Interconnected Systems. 2025.