|
[ZV03]
M. Zhang and F. Vaandrager.
Analysis of a protocol for dynamic configuration of IPv4 link local addresses using Uppaal.
Technical report NIII-R03XX, NIII, University of Nijmegen.
2003.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|