|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | publisher's version | 187.75 kB | Adobe PDF | Under Embargo
until further notice
|
|
| Title: | Analysis of the Zeroconf Protocol using Uppaal |
| Author(s): | Gebremichael-Tesfagiorgis, B. (298441829)
Vaandrager, F.W. (07206806X)
Zhang, M. (312645732) |
| Publication year: | 2006 |
| Document type: | Article in monograph or in proceedings |
| Book title: | EMSOFT 2006 : proceedings of the Sixth ACM & IEEE International Conference on Embedded Software : October 22-25, 2006, Seoul, Korea, Embedded Systems Week 2006 |
| ISBN: | 1595935428
9781595935427 |
| Start page: | p. 242 |
| End page: | p. 251 |
| Publisher: | New York, NY : ACM Press |
| Subject: | Informatics for Technical Applications |
| Organization: | Informatics for Technical Applications |
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/36090
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
