Stepwise Assertional Design of Distance-Vector Routing Algorithms

• Authors:

• Cengiz Alaettinoglu;A. Udaya Shankar

• Affiliations:

• -;-

• Venue:
• Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
• Year:
• 1992