Back to Search
Start Over
Verifying Payment Channels with TLA+
- Source :
- 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).
- Publication Year :
- 2022
- Publisher :
- IEEE, 2022.
Details
- Database :
- OpenAIRE
- Journal :
- 2022 IEEE International Conference on Blockchain and Cryptocurrency (ICBC)
- Accession number :
- edsair.doi...........3a4b13b3674fcfbf5b2822404ed20869
- Full Text :
- https://doi.org/10.1109/icbc54727.2022.9805487