Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1811.06099
Cited By
On the specification and verification of atomic swap smart contracts
14 November 2018
R. V. D. Meyden
Re-assign community
ArXiv
PDF
HTML
Papers citing
"On the specification and verification of atomic swap smart contracts"
2 / 2 papers shown
Title
Atomic Cross-Chain Swaps
Maurice Herlihy
53
440
0
29 Jan 2018
Information and Computation
C. Gershenson
58
216
0
04 Apr 2013
1
