Functional Modeling and Mechanized Verification of Bisimulations for NFTS
Year: 2025
Type: article
Source: IEEE Transactions on Reliability
Authors: Zhen You, Jiawei Wu, Changjing Wang, Zhengkang Zuo
Institutions: Jiangxi Normal University, Jiangxi University of Technology
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Awards: G2295330229, G2770148361, G8640241483
OpenAlex ID: W7082984834