Simplified Model for Automatic QCA Circuitry Verification
O. VILELA NETO
Sergio Campos
L. H. SARDINHA
Sergio Vale Aguiar Campos