APA (7th ed.) Citation

Zeng, X., Wang, M., Wang, M., & Lu, X. (2025). CPD: A linear temporal logic over finite traces guided model checking tool. Software Quality Journal, 33(4), 1. https://doi.org/10.1007/s11219-025-09729-0

Chicago Style (17th ed.) Citation

Zeng, Xiangqi, Meng Wang, Miao Wang, and Xu Lu. "CPD: A Linear Temporal Logic over Finite Traces Guided Model Checking Tool." Software Quality Journal 33, no. 4 (2025): 1. https://doi.org/10.1007/s11219-025-09729-0.

MLA (9th ed.) Citation

Zeng, Xiangqi, et al. "CPD: A Linear Temporal Logic over Finite Traces Guided Model Checking Tool." Software Quality Journal, vol. 33, no. 4, 2025, p. 1, https://doi.org/10.1007/s11219-025-09729-0.