Cita APA (7a ed.)

Yu, C., Che, W., & Zhang, H. (2025). Functional Reduction to Speed Up Bounded Model Checking.

Cita Chicago Style (17a ed.)

Yu, Changyuan, Wenbin Che, y Hongce Zhang. Functional Reduction to Speed Up Bounded Model Checking. 2025.

Cita MLA (9a ed.)

Yu, Changyuan, et al. Functional Reduction to Speed Up Bounded Model Checking. 2025.