Stepwise Assertional Design of Distance-Vector Routing Algorithms (1992)

by Cengiz Alaettinoglu , A. Udaya Shankar
Venue:IN IFIP PROTOCOL SPECIFICATION TESTING AND VERIFICATION '92
Citations:1 - 1 self