Kumar, D, Iyengar, SS. (1997). A semiformal correctness proof of a network broadcast algorithm
.
668-671. 10.1109/CMPSAC.1997.625091
Kumar, D, Iyengar, SS. (1997). A semiformal correctness proof of a network broadcast algorithm
. 668-671. 10.1109/CMPSAC.1997.625091