Chained Transaction Protocol Automated Verification Using Cl-AtSe

Bibliographische Detailangaben

Veröffentlicht in:	ICETE (17. : 2020 : Online) e-Business and telecommunications
1. Verfasser:	Birjoveanu, Cätälin V. (VerfasserIn)
Weitere Verfasser:	Birjoveanu, Mirela (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2021
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!