Grundmann, M., & Hartenstein, H. (2025). Model Checking the Security of the Lightning Network.
Chicago Style (17th ed.) CitationGrundmann, Matthias, and Hannes Hartenstein. Model Checking the Security of the Lightning Network. 2025.
MLA (9th ed.) CitationGrundmann, Matthias, and Hannes Hartenstein. Model Checking the Security of the Lightning Network. 2025.
Warning: These citations may not always be 100% accurate.