Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology
| Title | Utilizing Signal Temporal Logic to Characterize and Compose Modules in Synthetic Biology |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Curtis Madsen, Prashant Vaidyanathan, Cristian-Ioan Vasile, Rachael Ivison, Junmin Wang, Calin Belta, Douglas Densmore |
| Conference Name | 8th International Workshop on Bio-Design Automation (IWBDA) |
| Date Published | August |
| Keywords | 1446607 |
| Citation Key | Madsen2016 |