TY  - RPRT
TI  - Towards a Formal Verification of the Lightning Network with TLA+
AU  - Matthias Grundmann
AU  - Hannes Hartenstein
PY  - 2023
UR  - https://arxiv.org/abs/2307.02342
ID  - 2307.02342
ER  -