Fault-Tolerant Digital Microfluidic Biochips: Compilation and Synthesis

Genetic Design Automation: A Practical Approach for the Analysis, Verification and Synthesis of Genetic Logic Circuits