Devendra Kumar, S. Sitharama Iyengar. A Semiformal Correctness Proof of a Network Broadcast Algorithm. In 21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA. pages 668, IEEE Computer Society, 1997. [doi]
Abstract is missing.