{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T10:27:29Z","timestamp":1725877649680},"publisher-location":"Singapore","reference-count":15,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811036101"},{"type":"electronic","value":"9789811036118"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-981-10-3611-8_2","type":"book-chapter","created":{"date-parts":[[2017,1,7]],"date-time":"2017-01-07T04:29:56Z","timestamp":1483763396000},"page":"12-20","source":"Crossref","is-referenced-by-count":1,"title":["Model Checking Computational Tree Logic Using Sticker Automata"],"prefix":"10.1007","author":[{"given":"Weijun","family":"Zhu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanfeng","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qinglei","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Nie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,1,8]]},"reference":[{"key":"2_CR1","volume-title":"Model Checking","author":"E Clarke","year":"1999","unstructured":"Clarke, E., et al.: Model Checking. MIT press, Cambridge (1999)"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: Symposium on Foundations of Computer Science, Washington, DC, USA, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"issue":"3","key":"2_CR3","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF01257083","volume":"20","author":"M Benari","year":"1983","unstructured":"Benari, M., Pnueli, A., Manna, Z.: The temporal logic of branching time. Acta Informatica 20(3), 207\u2013226 (1983)","journal-title":"Acta Informatica"},{"issue":"3","key":"2_CR4","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"E Emerson","year":"1982","unstructured":"Emerson, E., Clarke, E.: Using branching time temporal logic to synthesize synchronization skeletons. Sci. Comput. Program. 2(3), 241\u2013266 (1982)","journal-title":"Sci. Comput. Program."},{"issue":"5187","key":"2_CR5","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"L Adleman","year":"1994","unstructured":"Adleman, L.: Molecular computation of solutions to combinatorial problems. Science 266(5187), 1021\u20131023 (1994)","journal-title":"Science"},{"issue":"5210","key":"2_CR6","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1126\/science.7725098","volume":"268","author":"R Lipton","year":"1995","unstructured":"Lipton, R.: DNA solution of hard computational problems. Science 268(5210), 542\u2013545 (1995)","journal-title":"Science"},{"issue":"17","key":"2_CR7","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1126\/science.278.5337.446","volume":"278","author":"Q Ouyang","year":"1997","unstructured":"Ouyang, Q., Kaplan, P.D., Liu, S., et al.: DNA solution of the maximal clique problem. Science 278(17), 446\u2013449 (1997)","journal-title":"Science"},{"issue":"6862","key":"2_CR8","doi-asserted-by":"crossref","first-page":"430","DOI":"10.1038\/35106533","volume":"414","author":"E Shapiro","year":"2001","unstructured":"Shapiro, E., Benenson, Y., Adar, R., et al.: Programmable and autonomous computing machine made of biomolecules. Nature 414(6862), 430\u2013434 (2001)","journal-title":"Nature"},{"issue":"7","key":"2_CR9","doi-asserted-by":"crossref","first-page":"1405","DOI":"10.1109\/TNNLS.2016.2555845","volume":"27","author":"X Jin","year":"2016","unstructured":"Jin, X.: Probe machine. IEEE Trans. Neural Netw. Learn. Syst. 27(7), 1405\u20131416 (2016)","journal-title":"IEEE Trans. Neural Netw. Learn. Syst."},{"issue":"1","key":"2_CR10","first-page":"42","volume":"29","author":"X Jin","year":"2014","unstructured":"Jin, X.: Forthcoming era of biological computer. Bull. Chin. Acad. Sci. 29(1), 42\u201354 (2014). (in Chinese)","journal-title":"Bull. Chin. Acad. Sci."},{"issue":"04","key":"2_CR11","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1142\/S0129054106004078","volume":"17","author":"E Emerson","year":"2006","unstructured":"Emerson, E., Hager, K., Konieczka, J.: Molecular model checking. Int. J. Found. Comput. Sci. 17(04), 733\u2013741 (2006)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"6","key":"2_CR12","first-page":"1265","volume":"44","author":"W-J Zhu","year":"2016","unstructured":"Zhu, W.-J., Zhou, Q.-L., Li, Y.-L.: LTL model checking based on DNA computing. Acta Electronica Sinica 44(6), 1265\u20131271 (2016)","journal-title":"Acta Electronica Sinica"},{"key":"2_CR13","unstructured":"Zhu, W.-J., Zhou, Q.-L., Zhang, Q.-X.: A LTL model checking approach based on DNA computing. Chin. J. Comput. (2016)"},{"key":"2_CR14","volume-title":"DNA Computing Models","author":"K Zimmermann","year":"2008","unstructured":"Zimmermann, K., Ignatova, Z., Perez, M.: DNA Computing Models. Springer, New York (2008)"},{"key":"2_CR15","unstructured":"NUPACK (2015). http:\/\/www.nupack.org\/partition\/new"}],"container-title":["Communications in Computer and Information Science","Bio-inspired Computing \u2013 Theories and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-3611-8_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T07:31:53Z","timestamp":1498375913000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-3611-8_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9789811036101","9789811036118"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-3611-8_2","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}