Formal Specification for Byzantine Fault Tolerant Algorithm Suiting Web Services
2016 ◽
Vol 8
(5)
◽
pp. 355-361
◽