A semiformal correctness proof of a network broadcast algorithm Conference

Kumar, D, Iyengar, SS. (1997). A semiformal correctness proof of a network broadcast algorithm . Proceedings - International Computer Software and Applications Conference, 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

published in

keywords

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

Digital Object Identifier (DOI)

International Standard Book Number (ISBN) 10

start page

  • 668

end page

  • 671