Savas Konur, Marian Gheorghe. A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. IEEE/ACM Trans. Comput. Biology Bioinform., 12(2):360-371, 2015. [doi]
@article{KonurG15,
title = {A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems},
author = {Savas Konur and Marian Gheorghe},
year = {2015},
doi = {10.1109/TCBB.2014.2362531},
url = {http://doi.ieeecomputersociety.org/10.1109/TCBB.2014.2362531},
researchr = {https://researchr.org/publication/KonurG15},
cites = {0},
citedby = {0},
journal = {IEEE/ACM Trans. Comput. Biology Bioinform.},
volume = {12},
number = {2},
pages = {360-371},
}