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]
No references recorded for this publication.
No citations of this publication recorded.