학술논문
Statistical model checking of common attack scenarios on blockchain
Document Type
Conference Paper
Author
Source
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 6 September 2021, 342:65-77)
Subject
Language
English
ISSN
20752180