TY  - RPRT
TI  - Model Checking the Security of the Lightning Network
AU  - Matthias Grundmann
AU  - Hannes Hartenstein
PY  - 2025
UR  - https://arxiv.org/abs/2505.15568
ID  - 2505.15568
ER  -