Cost-Optimisation of the IPv4 Zeroconf Protocol | ORKG Ask

We use cookies to provide a better user experience.

Data Protection

Related items

Analysis of the Zeroconf Protocol using Uppaal

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W.
Zhang, M.

January 2006

Contains fulltext : 36090.pdf (publisher's version ) (Closed access

Formal specification and analysis of zeroconf using uppaal

Berendsen, J.
Gebremichael, B.
Vaandrager, F.W.
Zhang, M.

January 2011

Contains fulltext : 91832.pdf (publisher's version ) (Closed access

Analysis of a Protocol for Dynamic Configuration of IPv4 Link Local Addresses Using Uppaal

Gebremichael-Tesfagiorgis, B.
Vaandrager, F.W.
Zhang, M.

January 2006

Contains fulltext : 36087.pdf (preprint version ) (Open Access)27 p