![](/img/cover-not-exists.png)
[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - Analysis of the zeroconf protocol using UPPAAL
Gebremichael, Biniam, Vaandrager, Frits, Zhang, MiaomiaoYear:
2006
Language:
english
DOI:
10.1145/1176887.1176923
File:
PDF, 224 KB
english, 2006