Formal verification of standards for distance vector routing protocols
-
- Bhargavan Obradovic
- Creator
Journal
-
- Journal of the ACM
-
Journal of the ACM 49-, 2002
