Pages that link to "SURF 2017"
From Murray Wiki
Jump to navigationJump to search
The following pages link to SURF 2017:
Displayed 7 items.
- SURF 2017: Scalable Robust Synthesis from Temporal Logic Specifications (← links)
- SURF 2017: Synthetic modules for control of bacterial growth (← links)
- SURF 2017: Integrase based circuits for sequential and temporal control of gene expression (← links)
- SURF 2017: Length and time scales of cell-cell signalling circuits in agar (← links)
- SURF 2017: Genetically-Programmed Synthetic Cells and Multi-Cellular Machines (← links)
- SURF 2017: Data-driven models for temporal logic control (← links)
- SURF 2017: Synthesizing flight software (FSW) discrete controllers from formal specifications (← links)
