Ecosyste.ms: Papers
An open API service providing mapping between scientific papers and software projects that are mentioned in them.
All mentions data is based on the CZI Software Mentions dataset.
Papers: 10.1098/rsif.2011.0800
https://doi.org/10.1098/rsif.2011.0800
Design and analysis of DNA strand displacement devices using probabilistic model checking
Cited by: 73
Author(s): Matthew R. Lakin, David Parker, Luca Cardelli, Marta Kwiatkowska, Andrew Phillips
Published: almost 13 years ago