Carregant...
Carregant...

Vés al contingut (premeu Retorn)

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

Autor
Carmona, J.; Cortadella, J.; Yousuke, T.; Ferdinand, P.
Tipus d'activitat
Article en revista
Revista
ACM journal on emerging technologies in computing systems
Data de publicació
2008-04
Volum
4
Número
8
Pàgina inicial
8.1
Pàgina final
8.27
URL
http://portal.acm.org/citation.cfm?doid=1350763.1350768 Obrir en finestra nova
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants