A Property-Driven Methodology for Formal Analysis of Synthetic Biology Systems. (2015)
Attributed to:
ROADBLOCK: Towards Programmable Defensive Bacterial Coatings & Skins
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1109/tcbb.2014.2362531
PubMed Identifier: 26357223
Publication URI: http://europepmc.org/abstract/MED/26357223
Type: Journal Article/Review
Volume: 12
Parent Publication: IEEE/ACM transactions on computational biology and bioinformatics
Issue: 2
ISSN: 1545-5963