明志勇, 王以松, & 冯仁艳. (2025). 基于量化布尔公式的超时态计算树逻辑有界模型检测. Computer Engineering & Science / Jisuanji Gongcheng yu Kexue, 47(6), 1062. https://doi.org/10.3969/j.issn.1007-130X.2025.06.012
Chicago Style (17th ed.) Citation明志勇, 王以松, and 冯仁艳. "基于量化布尔公式的超时态计算树逻辑有界模型检测." Computer Engineering & Science / Jisuanji Gongcheng Yu Kexue 47, no. 6 (2025): 1062. https://doi.org/10.3969/j.issn.1007-130X.2025.06.012.
MLA (9th ed.) Citation明志勇, et al. "基于量化布尔公式的超时态计算树逻辑有界模型检测." Computer Engineering & Science / Jisuanji Gongcheng Yu Kexue, vol. 47, no. 6, 2025, p. 1062, https://doi.org/10.3969/j.issn.1007-130X.2025.06.012.
Warning: These citations may not always be 100% accurate.
