Yazar
Goldberg, Ian. editor.
Format:
Electronic Resources
Alıntı:
, Measurement, Payment Protocol Security, Multiparty Protocols, Off-Chain Mechanisms, Fraud Detection, Game
Yazar
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Format:
Electronic Resources
Alıntı:
Invited Papers -- Distributed Systems and Protocols -- Testing and Fault Detection -- Model
View Other Search Results
Yazar
Ganty, Pierre. editor. (orcid)0000-0002-3625-6003
Format:
Electronic Resources
Alıntı:
Protocols Using Scenario Based Simulation -- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in
Yazar
Filiot, Emmanuel. editor.
Format:
Electronic Resources
Alıntı:
results -- Reachability of Five Gossip Protocols.
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants
Arama Sonuçlarını Sınırlandır
Daraltılmış: