Cita APA (7a ed.)

Chen, Z., Cao, J., Xu, C., & Cheung, S. (2026). ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair.

Cita Chicago Style (17a ed.)

Chen, Zhiyong, Jialun Cao, Chang Xu, y Shing-Chi Cheung. ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair. 2026.

Cita MLA (9a ed.)

Chen, Zhiyong, et al. ModelWisdom: An Integrated Toolkit for TLA+ Model Visualization, Digest and Repair. 2026.