中文
Formal Definition and Instance Verification Analysis of General Blockchain Cross-Chain Transactions
ZHANG Zhuang, ZOU Yilin, LIN Zepeng, LIU Jiayuan, ZI Zongqing, TAN Liang, SHE Kun
Journal of Applied Sciences . 2025, (4): 559 -585 .  DOI: 10.3969/j.issn.0255-8297.2025.04.002