共 42 条
- [1] Al-Rawy M., 2018, DESIGN BLOCKCHAIN BA
- [2] [Anonymous], 2013, ETHEREUM WHITEPAPER
- [3] Towards an Automated DEMO Action Model Implementation using Blockchain Smart Contracts [J]. PROCEEDINGS OF THE 22ND INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS (ICEIS), VOL 2, 2020, : 762 - 769
- [4] A Technique for Automata-based Verification with Residual Reasoning [J]. PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD), 2020, : 237 - 248
- [5] Bellini E., 2018, DATA DRIVEN PROCESS, P1
- [6] Blockchair, 2020, ETH T PER 2
- [7] Curran K, 2018, J BRIT BLOCKCHAIN AS, V1, P4451
- [8] Ethereum, 2020, ETHEREUM IMPROVEMENT
- [9] Ethereum Foundation, 2020, SOL CONTR OR PROGR L
- [10] Garcia-Banuelos L., 2017, OPTIMIZED EXECUTION