Proceedings of the 6th ACM and IEEE International conference…
Proceedings of the 6th ACM and IEEE International conference on Embedded software
Analysis of the Zeroconf Protocol using Uppaal
eBook
Full text availability for this item
Collection:
ACM Digital Library
Coverage:
- 2006-10-22