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