[1] CLARKE E.Model Checking[M].Massachusetts:MIT Press,1999.
[2] BAMAT J,BAUCH P,BRIM L,et al.Designing fast LTL model checking algorithms for many-core GPUs[J].Journal of Parallel and Distributed Computing,2012,72(9):1083-1097.
[3] CARBONE R.LTL model-checking for security protocols[J].AI Communications,2011,24(3):281-283.
[4] GOTZHEIN R.Temporal logic and applications-a tutorial[J].Computer Networks and ISDN Systems,1992,24(3):203-218.
[5] BENARI M,PNUELI A,MANNA Z.The temporal logic of branching time[J].Acta Informatica,1983,20(3):207-226.
[6] ADLEMAN L.Molecular computation of solutions to combinatorial problems[J].Science,1994,266(5187):1021-1023.
[7] ADLEMAN L.On constructing a molecular computer[J].Discrete Mathematics and Theoretical Computer Science,1995,27:1-21.
[8] ZIMMERMANN K,IGNATOVA Z,PEREZ M.DNA Computing Models[M].Berlin:Springer,2008.
[9] YIN Z X,ZHANG F Y,XU J.A Chinese postman problem based on DNA computing[J].Journal of Chemical Information and Computer Sciences,2002,2(42):222-224.
[10] YIN Z X,ZHANG F Y,XU J.The general form of 0-1 programming problem based on DNA computing[J].Biosystems,2003,70(1):73-79.
[11] PAN L Q,XU J,LIU Y C.A surface-based DNA algorithm for the maximal clique problem[J].Chinese Journal of Electronics,2002,11(4):469-471.
[12] PAN L Q,XU J.A surface-based DNA algorithm for the minimal vertex cover problem[J].Progress in Natural Science,2003,13(1):81-84.
[13] 高琳,许进.图的顶点着色问题的DNA算法[J].电子学报,2003,31(4):494-497. GAO Lin,XU Jin.A DNA algorithm for graph vertex coloring problem[J].Acta Electronica Sinica,2003,31(4):494-497.(in Chinese)
[14] XU J,QIANG X L,ZHANG K,et al.A parallel type of DNA computing model for graph vertex coloring problem[A].2010 IEEE Fifth International Conference on Bio-inspired Computing:Theories and Applications[C].Changsha:IEEE Press,2010.231-235.
[15] YANG J,DONG C,DONG Y,et al.Logic Nanoparticle beacon triggered by the binding induced effect of multiple inputs[J].ACS Applied Material Interfaces,2014,6(16):14486-14492.
[16] ZHANG C,WU L,YANG J,et al.A molecular logical switch beacon controlled by thiolated DNA signals[J].Chemical Communications,2013,49:11308-11310.
[17] ZHANG C,MA J,YANG J.Nanoparticle aggregation logic computing controlled by DNA branch migration[J].Applied Physics Letters,2013,103(9):093-106.
[18] EMERSON E A,HAGER K D,KONIECZKA J H.Molecular model checking[J].International Journal of Foundations of Computer Science,2006,17(04):733-741. |