Anupam Singh, Raghuraj Suryavanshi, Divakar Yadav. “Formal Specification and Verification of Replication in Blockchain Oriented Transactional System Using Event-B ”. International Journal of Advanced Science and Technology 29, no. 05 (June 6, 2020): 11172-11181. Accessed April 25, 2024. http://sersc.org/journals/index.php/IJAST/article/view/25208.