Modelling, Simulating and Verifying Turing-Powerful Strand Displacement Systems.

Matthew R. Lakin Andrew Phillips

Published in: DNA (2011)

Keyphrases

building blocks
retrieval systems
model checking
information systems
high level
expert systems
real world
image sequences
multiscale
multi agent
multi agent systems
artificial neural networks
management system
distributed systems
intelligent systems
computer systems