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

Josep Carmona, Jordi Cortadella, Yousuke Takada, Ferdinand Peper. Formal methods for the analysis and synthesis of nanometer-scale cellular arrays. JETC, 4(2), 2008. [doi]

Abstract

Abstract is missing.