Formal methods for the analysis and synthesis of nanometer-scale cellular arrays

Formal methods for the analysis and synthesis of nanometer-scale cellular arrays