Browsing Computación by Author "Aguilar Cornejo, Alejandro"
Now showing items 1-1 of 1
-
Verificación formal de procesos VHDL utilizando lógica temporal lineal
Aguilar Cornejo, Alejandro (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2003)