Publicaciones



Kruijtzer, Wido; Reyes Quintana, Victorio Jesús ; Gehrke, Winfried
Fecha de publicación: 2005
Localización: Design Automation for Embedded Systems [ISSN 0929-5585], v. 10 (2-3), p. 127-155, (2005)
JCR: 0,207
- Q4
SCIE
Artículo
Design_Synthesis_Verification.pdf.jpg