synthetic biology programming language formal methods constraints logic programming;
机译:面向活细胞基因工程的编程语言
机译:工程遗传编码的基于FRET的纳米传感器,用于实时显示活细胞中的砷(AS3 +)动态
机译:设计新的遗传编码生物传感器,用于在活细胞中进行定量生化成像
机译:基因工程和生物工程:细胞软件和细胞(再)编程
机译:时空编程的活细胞阵列中的遗传转化
机译:工程遗传编码的基于FRET的纳米传感器可实时显示活细胞中的砷(As3 +)动力学
机译:面向活细胞基因工程的编程语言