Documents Design and analysis of DNA strand displacement devices using probabilistic model checking by Matthew...

Slide 1Design and analysis of DNA strand displacement devices using probabilistic model checking by Matthew R. Lakin, David Parker, Luca Cardelli, Marta Kwiatkowska, and…