DOI
10.1109/ACCESS.2022.3184799
Year of Publication
2022
Type
Journals
Published in
Publication Title
Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols
Status
International
Page Numbers
66611 - 66624
ISBN/ISSN
2169-3536
Status of Paper
Published
Nature
SCI
Publisher
Refereed/Peer Reviewed
Peer Reviewed
Month of Publication
Jun