Functional Modeling and Mechanized Verification of Bisimulations for NFTS
['Zhen You', 'Jiawei Wu', 'Changjing Wang', 'Zhengkang Zuo']
/
IEEE Transactions on Reliability
/ Vol. 74
/ No. 4