Author:
Afzaal Hamra,Imran Muhammad,Janjua Muhammad Umar
Funder
National Cancer Institute - Singapore
Information Technology University
Subject
Law,General Computer Science
Reference79 articles.
1. Formal verification of persistence and liveness in the trust-based blockchain crowdsourcing consensus protocol;Afzaal;Computer Communications,2022
2. Formal modeling and verification of a blockchain-based crowdsourcing consensus protocol;Afzaal;IEEE Access,2022
3. Notes on theory of distributed systems;Aspnes;ArXiv,2020
4. Principles of model checking;Baier,2008
5. Proofs of useful work;Ball;IACR Cryptol. ePrint Arch.,2017
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献