Treffer: A semiformal correctness proof of a network broadcast algorithm
Title:
A semiformal correctness proof of a network broadcast algorithm
Authors:
Source:
Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97) Computer software and applications Computer Software and Applications Conference, 1997. COMPSAC '97. Proceedings., The Twenty-First Annual International. :668-671 1997
Relation:
Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97)
Database:
IEEE Xplore Digital Library