{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:49:49Z","timestamp":1740098989279,"version":"3.37.3"},"publisher-location":"Singapore","reference-count":21,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811071782"},{"type":"electronic","value":"9789811071799"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-981-10-7179-9_11","type":"book-chapter","created":{"date-parts":[[2017,11,7]],"date-time":"2017-11-07T23:53:32Z","timestamp":1510098812000},"page":"131-147","source":"Crossref","is-referenced-by-count":2,"title":["Model Checking for Computation Tree Logic with Past Based on DNA Computing"],"prefix":"10.1007","author":[{"given":"Yingjie","family":"Han","sequence":"first","affiliation":[]},{"given":"Qinglei","family":"Zhou","sequence":"additional","affiliation":[]},{"given":"Linfeng","family":"Jiao","sequence":"additional","affiliation":[]},{"given":"Kai","family":"Nie","sequence":"additional","affiliation":[]},{"given":"Chunyan","family":"Zhang","sequence":"additional","affiliation":[]},{"given":"Weijun","family":"Zhu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,9]]},"reference":[{"key":"11_CR1","volume-title":"DNA computing models","author":"KH Zimmermann","year":"2008","unstructured":"Zimmermann, K.H., Mart\u00ednez-P\u00e9rez, I., Ignatova, Z.: DNA computing models. Springer, New York (2008)"},{"issue":"5187","key":"11_CR2","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"LM Adleman","year":"1994","unstructured":"Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science 266(5187), 1021\u20131023 (1994)","journal-title":"Science"},{"issue":"5210","key":"11_CR3","doi-asserted-by":"crossref","first-page":"542","DOI":"10.1126\/science.7725098","volume":"268","author":"RJ Lipton","year":"1995","unstructured":"Lipton, R.J.: DNA solution of hard computational problems. Science 268(5210), 542\u2013545 (1995)","journal-title":"Science"},{"issue":"2","key":"11_CR4","doi-asserted-by":"crossref","first-page":"305","DOI":"10.3724\/SP.J.1016.2010.00305","volume":"33","author":"YK Fan","year":"2010","unstructured":"Fan, Y.K., Qiang, X.L., Xu, J.: Sticker model for maximum clique problem and maximum in-dependent set. Chin. J. Comput. 33(2), 305\u2013310 (2010)","journal-title":"Chin. J. Comput."},{"issue":"10","key":"11_CR5","doi-asserted-by":"crossref","first-page":"e108856","DOI":"10.1371\/journal.pone.0108856","volume":"9","author":"XL Shi","year":"2014","unstructured":"Shi, X.L., Wang, Z.Y., Deng, C.Y., et al.: A novel bio-sensor based on DNA strand displacement. PLoS ONE 9(10), e108856 (2014)","journal-title":"PLoS ONE"},{"key":"11_CR6","first-page":"1","volume":"2015","author":"X Li","year":"2015","unstructured":"Li, X., Song, T., Shi, X.L., et al.: A universal fast colorimetric method for DNA signal de-tection with DNA strand displacement and gold nanoparticles. J. Nanomater. 2015, 1\u20139 (2015)","journal-title":"J. Nanomater."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Li, X., Li, H., Song, T., et al.: Highly biocompatible drug-delivery systems based on DNA nanotechnology. J. Biomed. Nanotechnol. (2017)","DOI":"10.1166\/jbn.2017.2383"},{"issue":"43","key":"11_CR8","doi-asserted-by":"crossref","first-page":"8484","DOI":"10.1039\/C5SM00796H","volume":"11","author":"XL Shi","year":"2015","unstructured":"Shi, X.L., Chen, C.Z., Li, X., et al.: Size controllable DNA nanoribbons assembled from three types of reusable brick single-strand DNA tiles. Soft Matter 11(43), 8484\u20138492 (2015)","journal-title":"Soft Matter"},{"issue":"31","key":"11_CR9","doi-asserted-by":"crossref","first-page":"14785","DOI":"10.1039\/C6NR02695H","volume":"8","author":"XL Shi","year":"2016","unstructured":"Shi, X.L., Wu, X.X., Song, T., et al.: Construction of DNA nanotubes with controllable diameters and patterns by using hierarchical DNA sub-tiles. Nanoscale 8(31), 14785\u201314792 (2016)","journal-title":"Nanoscale"},{"key":"11_CR10","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"3","key":"11_CR11","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0167-6423(83)90017-5","volume":"2","author":"EA Emerson","year":"1982","unstructured":"Emerson, E.A.: Using branching time temporal logic to synthesize synchronization skele-tons. Sci. Comput. Program. 2(3), 241\u2013266 (1982)","journal-title":"Sci. Comput. Program."},{"key":"11_CR12","series-title":"Logics of Programs","volume-title":"The Glory of the Past","author":"O Lichtenstein","year":"1985","unstructured":"Lichtenstein, O., Pnueli, A., Zuck, L.: The Glory of the Past. Logics of Programs. Springer, Heidelberg (1985)"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol. B, pp. 995\u20131072 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"04","key":"11_CR14","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1142\/S0129054106004078","volume":"17","author":"EA Emerson","year":"2006","unstructured":"Emerson, E.A., Hager, K.D., Konieczka, J.H.: Molecular model checking. Int. J. Found. Comput. Sci. 17(04), 733\u2013741 (2006)","journal-title":"Int. J. Found. Comput. Sci."},{"issue":"6","key":"11_CR15","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 Electron. Sin. 44(6), 1265\u20131271 (2016)","journal-title":"Acta Electron. Sin."},{"issue":"3","key":"11_CR16","first-page":"553","volume":"38","author":"Y-J Han","year":"2017","unstructured":"Han, Y.-J., Zhu, W.-J., Jiao, L.-F., et al.: DNA computing methods of LTL model checking on Xp. Mini-Micro Syst. 38(3), 553\u2013558 (2017)","journal-title":"Mini-Micro Syst."},{"key":"11_CR17","unstructured":"Kupferman, O., Pnueli, A.: Once and for all. In: IEEE Symposium on Logic in Computer Science, vol. 78, pp. 25\u201335 (1995)"},{"issue":"2","key":"11_CR18","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/0304-3975(95)00035-U","volume":"148","author":"F Laroussinie","year":"1995","unstructured":"Laroussinie, F., Schnoebelen, P.: A hierarchy of temporal logics with past. Theoret. Comput. Sci. 148(2), 303\u2013324 (1995)","journal-title":"Theoret. Comput. Sci."},{"issue":"5187","key":"11_CR19","doi-asserted-by":"crossref","first-page":"1021","DOI":"10.1126\/science.7973651","volume":"266","author":"LM Adleman","year":"1994","unstructured":"Adleman, L.M.: Molecular computation of solutions to combinatorial problems. Science 266(5187), 1021\u20131024 (1994)","journal-title":"Science"},{"key":"11_CR20","doi-asserted-by":"crossref","unstructured":"Adleman, L.M.: On constructing a molecular computer. In: DIMACS, vol. 27, pp. 1\u201321 (2007)","DOI":"10.1090\/dimacs\/027\/01"},{"key":"11_CR21","unstructured":"NUPACK (2017). http:\/\/www.nupack.org\/partition\/new"}],"container-title":["Communications in Computer and Information Science","Bio-inspired Computing: Theories and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-7179-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T15:59:25Z","timestamp":1570291165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-7179-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811071782","9789811071799"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-7179-9_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}