{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T05:00:40Z","timestamp":1794373240854,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":2,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642118104","type":"print"},{"value":"9783642118111","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11811-1_43","type":"book-chapter","created":{"date-parts":[[2010,2,19]],"date-time":"2010-02-19T06:57:22Z","timestamp":1266562642000},"page":"410-410","source":"Crossref","is-referenced-by-count":0,"title":["Using Event-B to Verify the Kmelia Components and Their Assemblies"],"prefix":"10.1007","author":[{"given":"Pascal","family":"Andr\u00e9","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gilles","family":"Ardourel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Attiogb\u00e9","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arnaud","family":"Lanoix","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"43_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11821946_2","volume-title":"Software Composition","author":"C. Attiogb\u00e9","year":"2006","unstructured":"Attiogb\u00e9, C., Andr\u00e9, P., Ardourel, G.: Checking Component Composability. In: L\u00f6we, W., S\u00fcdholt, M. (eds.) SC 2006. LNCS, vol.\u00a04089, pp. 18\u201333. Springer, Heidelberg (2006)"},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, P., Ardourel, G., Attiogb\u00e9, C., Lanoix, A.: Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. In: FACS 2009 (to be published)","DOI":"10.1016\/j.entcs.2010.05.002"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B and Z"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11811-1_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:43:53Z","timestamp":1558273433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11811-1_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642118104","9783642118111"],"references-count":2,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11811-1_43","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-11811-1","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}