{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:05:41Z","timestamp":1725559541491},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540278825"},{"type":"electronic","value":"9783540317142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11526841_22","type":"book-chapter","created":{"date-parts":[[2010,7,18]],"date-time":"2010-07-18T12:51:58Z","timestamp":1279457518000},"page":"318-333","source":"Crossref","is-referenced-by-count":6,"title":["A Formal Model of Addressing for Interoperating Networks"],"prefix":"10.1007","author":[{"given":"Pamela","family":"Zave","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/967030.967034","volume":"4","author":"G.W. Bond","year":"2004","unstructured":"Bond, G.W., Cheung, E., Purdy, K.H., Zave, P., Ramming, J.C.: An open architecture for next-generation telecommunication services. ACM Transactions on Internet Technology\u00a04(1), 83\u2013123 (2004)","journal-title":"ACM Transactions on Internet Technology"},{"key":"22_CR2","unstructured":"Bush, R., Moore, K.: NATs are evil\u2014Well, maybe just bad for you (2004), https:\/\/rip.psg.com\/~randy\/040226.apnic-nats.pdf"},{"key":"22_CR3","unstructured":"The Distributed Feature Composition (DFC) Web site, http:\/\/www.research.att.com\/projects\/dfc"},{"key":"22_CR4","unstructured":"Faltstrom, P., Huston, G.: A survey of Internet identities. Internet Architecture Board, draft-iab-identities-00.txt (2004)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Feamster, N.: Practical verification techniques for wide-area routing. In: Proceedings of the ACM SIGCOMM Workshop on Hot Topics in Networks (2003)","DOI":"10.1145\/972374.972390"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Feamster, N., Balakrishnan, H.: Towards a logic for wide-area internet routing. In: Proceedings of the ACM SIGCOMM Workshop on Future Directions in Network Architecture (2003)","DOI":"10.1145\/944759.944767"},{"key":"22_CR7","first-page":"130","volume-title":"Proceedings of the Eighth ACM SIGSOFT International Symposium on the Foundations of Software Engineering","author":"D. Jackson","year":"2000","unstructured":"Jackson, D.: Automating first-order relational logic. In: Proceedings of the Eighth ACM SIGSOFT International Symposium on the Foundations of Software Engineering, pp. 130\u2013139. ACM, New York (2000)"},{"key":"22_CR8","first-page":"62","volume-title":"Proceedings of the Ninth ACM SIGSOFT International Symposium on the Foundations of Software Engineering","author":"D. Jackson","year":"2001","unstructured":"Jackson, D., Shlyakhter, I., Sridharan, M.: A micromodularity mechanism. In: Proceedings of the Ninth ACM SIGSOFT International Symposium on the Foundations of Software Engineering, pp. 62\u201373. ACM, New York (2001)"},{"key":"22_CR9","first-page":"241","volume-title":"Proceedings of the Twenty-second International Conference on Software Engineering","author":"G.-C. Roman","year":"2000","unstructured":"Roman, G.-C., Picco, G.P., Murphy, A.L.: Software engineering for mobility: A roadmap. In: Proceedings of the Twenty-second International Conference on Software Engineering, June 2000, pp. 241\u2013258. IEEE Computer Society, Los Alamitos (2000)"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., Schooler, E.: SIP: Session Initiation Protocol. IETF Network Working Group Request for Comments 3261 (2002)","DOI":"10.17487\/rfc3261"},{"key":"22_CR11","unstructured":"Xie, G., Zhan, J., Maltz, D.A., Zhang, H., Greenberg, A., Hjalmtysson, G., Rexford, J.: On static reachability analysis of IP networks. Technical report, AT&T Research (2004)"},{"issue":"1","key":"22_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1005561.1005562","volume":"13","author":"P. Zave","year":"2004","unstructured":"Zave, P.: Address translation in telecommunication features. ACM Transactions on Software Engineering and Methodology\u00a013(1), 1\u201336 (2004)","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Lecture Notes in Computer Science","FM 2005: Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11526841_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:06:54Z","timestamp":1605625614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11526841_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540278825","9783540317142"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11526841_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}