Liu, S.; Xu, Y.; Yang, X.; Hui, B.; Hu, F.
Variable-State-Trigger: A Formal Model of Smart Contracts Based on Conditional Response and Finite State Automata and Its Application. Electronics 2024, 13, 4680.
https://doi.org/10.3390/electronics13234680
AMA Style
Liu S, Xu Y, Yang X, Hui B, Hu F.
Variable-State-Trigger: A Formal Model of Smart Contracts Based on Conditional Response and Finite State Automata and Its Application. Electronics. 2024; 13(23):4680.
https://doi.org/10.3390/electronics13234680
Chicago/Turabian Style
Liu, Shangqi, Yuntao Xu, Xingyu Yang, Bozhi Hui, and Feng Hu.
2024. "Variable-State-Trigger: A Formal Model of Smart Contracts Based on Conditional Response and Finite State Automata and Its Application" Electronics 13, no. 23: 4680.
https://doi.org/10.3390/electronics13234680
APA Style
Liu, S., Xu, Y., Yang, X., Hui, B., & Hu, F.
(2024). Variable-State-Trigger: A Formal Model of Smart Contracts Based on Conditional Response and Finite State Automata and Its Application. Electronics, 13(23), 4680.
https://doi.org/10.3390/electronics13234680