A semiformal correctness proof of a network broadcast algorithm Conference

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

cited authors

  • Kumar, D; Iyengar, SS

authors

date/time interval

  • August 13, 1997 -

publication date

  • January 1, 1997

keywords

  • Computer Science
  • Computer Science, Interdisciplinary Applications
  • Computer Science, Software Engineering
  • Science & Technology
  • Technology

Location

  • DC, WASHINGTON

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 10

Conference

  • 21st Annual International Computer Software and Applications Conference (COMPSAC 97)

publisher

  • I E E E, COMPUTER SOC PRESS

start page

  • 668

end page

  • 671