Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems

Matthew R. Lakin, Andrew Phillips. Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems. In Luca Cardelli, William M. Shih, editors, DNA Computing and Molecular Programming - 17th International Conference, DNA 17, Pasadena, CA, USA, September 19-23, 2011. Proceedings. Volume 6937 of Lecture Notes in Computer Science, pages 130-144, Springer, 2011. [doi]

Authors

Matthew R. Lakin

This author has not been identified. Look up 'Matthew R. Lakin' in Google

Andrew Phillips

This author has not been identified. Look up 'Andrew Phillips' in Google