Modeling and Verification of a Tree-based GDH protocol in Event B

Autor:	Gawanmeh, Amjad, Sofiène Tahar, Ayed, Leila Ben
Jazyk:	angličtina
Rok vydání:	2021
DOI:	10.13140/rg.2.2.16869.93923
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::568415c9f77c4336b3261b4691f9468d Zobrazit plný text záznamu