{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T19:54:09Z","timestamp":1773086049852,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642104381","type":"print"},{"value":"9783642104398","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10439-8_49","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T06:03:31Z","timestamp":1258351411000},"page":"485-494","source":"Crossref","is-referenced-by-count":8,"title":["Extended Full Computation-Tree Logic with Sequence Modal Operator: Representing Hierarchical Tree Structures"],"prefix":"10.1007","author":[{"given":"Norihiro","family":"Kamide","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ken","family":"Kaneiwa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Linnaean_taxonomy"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. LNCS, vol.\u00a0131, pp. 52\u201371. Springer, Heidelberg (1981)","DOI":"10.1007\/BFb0025774"},{"issue":"1","key":"49_CR3","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/4904.4999","volume":"33","author":"E.A. Emerson","year":"1986","unstructured":"Emerson, E.A., Halpern, J.Y.: \u201cSometimes\u201d and \u201cnot never\u201d revisited: on branching versus linear time temporal logic. Journal of the ACM\u00a033(1), 151\u2013178 (1986)","journal-title":"Journal of the ACM"},{"key":"49_CR4","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1016\/S0019-9958(84)80047-9","volume":"61","author":"E.A. Emerson","year":"1984","unstructured":"Emerson, E.A., Sistla, P.: Deciding full branching time logic. Information and Control\u00a061, 175\u2013201 (1984)","journal-title":"Information and Control"},{"key":"49_CR5","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"49_CR6","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/3-540-56734-8","volume-title":"The Logic of Information Structures","author":"H. Wansing","year":"1993","unstructured":"Wansing, H.: The Logic of Information Structures. LNCS (LNAI), vol.\u00a0681, 163 p. Springer, Heidelberg (1993)"}],"container-title":["Lecture Notes in Computer Science","AI 2009: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10439-8_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T21:55:58Z","timestamp":1606168558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10439-8_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642104381","9783642104398"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10439-8_49","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}