DOI
10.1109/ACCESS.2022.3184799
Link
https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9801830
Year of Publication
2022
Type
Journals
Published in
IEEE Access
Publication Title
Introduction of Formal Methods in Blockchain Consensus Mechanism and Its Associated Protocols
Status
International
First Author
Sudhani Verma
Second Author
Divakar Yadav
Third Author
Girish Chandra
Page Numbers
66611 - 66624
ISBN/ISSN
2169-3536
Status of Paper
Published
Related Department
Computer Science and Engineering Department
Nature
SCI
Publisher
IEEE
Refereed/Peer Reviewed
Peer Reviewed
Month of Publication
Jun