Netinfo Security
PCL-Based HZ Logic and Its Automated Verification Method
ZHANG Zhengzhuo, WU Qianqian, YUAN Yubo, HUANG Xin
Netinfo Security . 2026, (5): 819 -830 .  DOI: 10.3969/j.issn.1671-1122.2026.05.012