{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:46:19Z","timestamp":1725493579516},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540405610"},{"type":"electronic","value":"9783540450894"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-45089-0_1","type":"book-chapter","created":{"date-parts":[[2007,10,27]],"date-time":"2007-10-27T03:27:35Z","timestamp":1193455655000},"page":"1-2","source":"Crossref","is-referenced-by-count":1,"title":["Automata for Specifying Component Interfaces"],"prefix":"10.1007","author":[{"given":"Thomas A.","family":"Henzinger","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,24]]},"reference":[{"key":"1_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/BFb0055622","volume-title":"CONCUR 98: Concurrency Theory","author":"R. Alur","year":"1998","unstructured":"R. Alur, T. A. Henzinger, O. Kupferman, and M.Y. Vardi. Alternating refinement relations. In CONCUR 98: Concurrency Theory, Lecture Notes in Computer Science 1466, pages 163\u2013178. Springer-Verlag, 1998."},{"key":"1_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/3-540-45657-0_35","volume-title":"CAV 02: Computer-Aided Verification","author":"A. Chakrabarti","year":"2002","unstructured":"A. Chakrabarti, L. de Alfaro, T.A. Henzinger, M. Jurdzi\u0144ski, and F. Y.C. Mang. Interface compatibility checking for software modules. In CAV 02: Computer-Aided Verification, Lecture Notes in Computer Science 2404, pages 428\u2013441. Springer-Verlag, 2002."},{"key":"1_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/3-540-45657-0_34","volume-title":"CAV 02: Computer-Aided Verification","author":"A. Chakrabarti","year":"2002","unstructured":"A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and F.Y.C. Mang. Synchronous and bidirectional component interfaces. In CAV 02: Computer-Aided Verification, Lecture Notes in Computer Science 2404, pages 414\u2013427. Springer-Verlag, 2002."},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"A. Chakrabarti, L. de Alfaro, T.A. Henzinger, and M. Stoelinga. Resource interfaces. Submitted, 2003.","DOI":"10.1007\/978-3-540-45212-6_9"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"L. de Alfaro and T.A. Henzinger. Interface automata. In Proceedings of the Ninth Annual Symposium on Foundations of Software Engineering, pages 109\u2013120. ACM Press, 2001.","DOI":"10.1145\/503209.503226"},{"key":"1_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"148","DOI":"10.1007\/3-540-45449-7_11","volume-title":"EMSOFT 01: Embedded Software","author":"L. Alfaro de","year":"2001","unstructured":"L. de Alfaro and T.A. Henzinger. Interface theories for component-based design. In EMSOFT 01: Embedded Software, Lecture Notes in Computer Science 2211, pages 148\u2013165. Springer-Verlag, 2001."},{"key":"1_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-45828-X_9","volume-title":"EMSOFT 02: Embedded Software","author":"L. Alfaro de","year":"2002","unstructured":"L. de Alfaro, T.A. Henzinger, and M. Stoelinga. Timed interfaces. In EMSOFT 02: Embedded Software, Lecture Notes in Computer Science 2491, pages 108\u2013122. Springer-Verlag, 2002."}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Automata"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45089-0_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T22:08:00Z","timestamp":1556921280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45089-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540405610","9783540450894"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-45089-0_1","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}