|
[KG15]
Savas Konur and Marian Gheorghe.
A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems.
IEEE/ACM Transactions on Computational Biology and Informatics.
2015.
[Proposes a framework for formal analysis of synthetic biology systems, which includes use of PRISM for probabilistic model checking.]
|
|
Links:
[Google]
[Google Scholar]
|