| emsoft | participants

Frits W. Vaandrager

Program Committees:
2006 and 2007
.

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Analysis of the Zeroconf Protocol using UPPAAL

Biniam Gebremichael, Frits W. Vaandrager, and Miaomiao Zhang