{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:32:39Z","timestamp":1725525159727},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642002540"},{"type":"electronic","value":"9783642002557"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00255-7_1","type":"book-chapter","created":{"date-parts":[[2009,2,7]],"date-time":"2009-02-07T07:12:32Z","timestamp":1233990752000},"page":"1-19","source":"Crossref","is-referenced-by-count":9,"title":["Developing Topology Discovery in Event-B"],"prefix":"10.1007","author":[{"given":"Thai Son","family":"Hoang","sequence":"first","affiliation":[]},{"given":"Hironobu","family":"Kuruma","sequence":"additional","affiliation":[]},{"given":"David","family":"Basin","sequence":"additional","affiliation":[]},{"given":"Jean-Raymond","family":"Abrial","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","volume-title":"Modeling in Event-B: System and Software Design","author":"J.-R. Abrial","year":"2008","unstructured":"Abrial, J.-R.: Modeling in Event-B: System and Software Design. Cambridge University Press, Cambridge (to appear, 2008)"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1007\/11901433_32","volume-title":"Formal Methods and Software Engineering","author":"J.-R. Abrial","year":"2006","unstructured":"Abrial, J.-R., Butler, M., Hallerstede, S., Voisin, L.: An open extensible tool environment for Event-B. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS, vol.\u00a04260, pp. 588\u2013605. Springer, Heidelberg (2006)"},{"issue":"3","key":"1_CR3","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s001650300002","volume":"14","author":"J.-R. Abrial","year":"2003","unstructured":"Abrial, J.-R., Cansell, D., M\u00e9ry, D.: A mechanically proved and incremental development of IEEE 1394 tree identify protocol. Formal Asp. Comput.\u00a014(3), 215\u2013227 (2003)","journal-title":"Formal Asp. Comput."},{"key":"1_CR4","unstructured":"Abrial, J.-R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: Application to Event-B. Fundamenta Informaticae, XXI (2006)"},{"issue":"2","key":"1_CR5","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01558665","volume":"3","author":"R.-J. Back","year":"1989","unstructured":"Back, R.-J., Kurki-Suonio, R.: Decentralization of process nets with centralized control. Distributed Computing\u00a03(2), 73\u201387 (1989)","journal-title":"Distributed Computing"},{"issue":"4","key":"1_CR6","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1145\/581771.581775","volume":"49","author":"K. Bhargavan","year":"2002","unstructured":"Bhargavan, K., Obradovic, D., Gunter, C.A.: Formal verification of standards for distance vector routing protocols. J. ACM\u00a049(4), 538\u2013576 (2002)","journal-title":"J. ACM"},{"key":"1_CR7","unstructured":"Clausen, T., Hansen, G., Christensen, L., Behrmann, G.: The Optimized Link State Routing Protocol, Evaluation through Experiments and Simulation. In: IEEE Symposium on Wireless Personal Mobile Communications (September 2001)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Clausen, T., Jacquet, P., Laouiti, A., et al.: Optimized Link State Routing Protocol. Request for Comments, 3626 (2003)","DOI":"10.17487\/rfc3626"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/BF01386390","volume":"1","author":"E.W. Dijkstra","year":"1959","unstructured":"Dijkstra, E.W.: A note on two problems in connection with graphs. Numerische Mathematik\u00a01, 269\u2013271 (1959)","journal-title":"Numerische Mathematik"},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Hoang, T.S., Kuruma, H., Basin, D., Abrial, J.-R.: Developing topology discovery in Event-B. Technical Report 611, ETH Zurich, 11\/2008","DOI":"10.1016\/j.scico.2009.07.006"},{"key":"1_CR11","volume-title":"Distributed Algorithms","author":"N. Lynch","year":"1996","unstructured":"Lynch, N.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)"},{"key":"1_CR12","volume-title":"OSPF: Anatomy of an Internet Routing Protocol","author":"J.T. Moy","year":"1998","unstructured":"Moy, J.T.: OSPF: Anatomy of an Internet Routing Protocol. Addison-Wesley Professional, Reading (1998)"},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"Moy, J.T., et al.: OSPF Version 2 (1994)","DOI":"10.17487\/rfc1583"},{"key":"1_CR14","unstructured":"Rfc3626: Optimized link state routing protocol (OLSR) (October 2003)"},{"issue":"3","key":"1_CR15","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1145\/129393.129394","volume":"14","author":"A. Udaya Shankar","year":"1992","unstructured":"Udaya Shankar, A., Lam, S.S.: A stepwise refinement heuristic for protocol construction. ACM Transactions on Programming Languages and Systems\u00a014(3), 417\u2013461 (1992)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR16","unstructured":"Tanenbaum, A.: Computer Networks. Prentice Hall Professional Technical Reference (2002)"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00255-7_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T21:20:15Z","timestamp":1558128015000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00255-7_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642002540","9783642002557"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00255-7_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}