Chained Transaction Protocol Automated Verification Using Cl-AtSe

von Birjoveanu, Cätälin V.
Veröffentlicht in ICETE (17. : 2020 : Online) e-Business and telecommunications (2021)

Fair Exchange E-Commerce Protocol for Multi-Chained Complex Transactions

von Birjoveanu, Catalin V.
Veröffentlicht in International Conference on E-Business (17. : 2020 : Online) ICE-B 2020 (2020)