|
Volumn 62, Issue 5, 2002, Pages 922-944
|
Stabilization of general loop-free routing
a b |
Author keywords
Formal method; Loop free routing; Network protocol; Stabilization
|
Indexed keywords
|
EID: 0036287008
PISSN: 07437315
EISSN: None
Source Type: Journal
DOI: 10.1006/jpdc.2001.1830 Document Type: Article |
Times cited : (26)
|
References (22)
|