Author Login Chief Editor Login Reviewer Login Editor Login Remote Office
A Secure Smart Contract Generation Method Based on Timed Automata
Yang LIU, Shengjie ZHANG
Computer Engineering . 2023, (9): 137 -143, 157 .  DOI: 10.19678/j.issn.1000-3428.0066982