Stepwise assertional design of distance--vector routing algorithms (1992)

by C Alaettinoglu, A U Shankar
Venue:In IFIP Protocol Specification Testing and Verification '92