共 277 条
[2]
Modelling and Executing Time-Aware Processes in Trustless Blockchain Environment
[J].
RISKS AND SECURITY OF INTERNET AND SYSTEMS (CRISIS 2019),
2020, 12026
:325-341
[3]
Alam MT, 2021, 2021 IEEE INTERNATIONAL CONFERENCE ON BLOCKCHAIN (BLOCKCHAIN 2021), P499, DOI [10.1109/Blockchain53845.2021.00076, 10.1109/BLOCKCHAIN53845.2021.00076]
[7]
Alves P.H.C., P 22 INT C ENT INF S
[9]
Andrychowicz Marcin, 2014, Formal Modeling and Analysis of Timed Systems. 12th International Conference, FORMATS 2014. Proceedings. LNCS: 8711, P7, DOI 10.1007/978-3-319-10512-3_2
[10]
[Anonymous], 2018, INTR HYP