Citazione Stile APA (7a Edizione)

Zhou, X., Hu, G., Zhang, H., & Zhang, W. (2026). A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking.

Citazione stile Chigago Style (17a edizione)

Zhou, Xiaofeng, Guangyu Hu, Hongce Zhang, e Wei Zhang. A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking. 2026.

Citatione MLA (9a ed.)

Zhou, Xiaofeng, et al. A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking. 2026.