{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,8]],"date-time":"2026-07-08T06:00:18Z","timestamp":1783490418022,"version":"3.55.0"},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dsn.2003.1209963","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T16:27:43Z","timestamp":1087921663000},"page":"531-540","source":"Crossref","is-referenced-by-count":19,"title":["Cost-optimization of the IPv4 zeroconf protocol"],"prefix":"10.1109","author":[{"given":"H.","family":"Bohnenkamp","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"P.","family":"van der Stok","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"H.","family":"Hermanns","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"F.","family":"Vaandrager","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"3","author":"kulkarni","year":"1995","journal-title":"Modeling and Analysis of Stochastic Systems"},{"key":"2","author":"cheshire","year":"2002","journal-title":"Dynamic configuration of IPv4 link-local addresses"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/.2001.980713"},{"key":"7","author":"zhang","year":"2003","journal-title":"Analysis of a Protocol for Dynamic Configuration of IPv4 Link Local Addresses Using Uppaal"},{"key":"6","author":"stewart","year":"1994","journal-title":"Introduction to the Numerical Solution of Markov Chains"},{"key":"5","article-title":"An ethernet address resolution protocol","volume":"826","author":"plummer","year":"1982","journal-title":"RFC"},{"key":"4","first-page":"40","volume":"70","author":"pettersson","year":"2000","journal-title":"UPPAAL2k Bulletin of the European Association for Theoretical Computer Science"}],"event":{"name":"2003 International Conference on Dependable Systems and Networks, 2003.","location":"San Francisco, CA, USA"},"container-title":["2003 International Conference on Dependable Systems and Networks, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8589\/27228\/01209963.pdf?arnumber=1209963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,13]],"date-time":"2017-03-13T14:44:57Z","timestamp":1489416297000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1209963\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/dsn.2003.1209963","relation":{},"subject":[]}}