Please use this identifier to cite or link to this item:
https://accedacris.ulpgc.es/jspui/handle/10553/62712
| Title: | Aportaciones a la verificación formal de circuitos secuenciales | Authors: | Navarro Botello,Héctor | Director: | Montiel Nelson, Juan Antonio | UNESCO Clasification: | 3307 Tecnología electrónica | Keywords: | Electrónica Circuitos electrónicos |
Issue Date: | 2006 | Department: | Departamento de Ingeniería Electrónica Y Automática | Faculty: | Escuela de Ingeniería de Telecomunicación y Electrónica | URI: | https://accedacris.ulpgc.es/handle/10553/62712 | Rights: | Acceso restringido para la comunidad universitaria de la ULPGC |
| Appears in Collections: | Tesis doctoral Restringido ULPGC |
Adobe PDF (6,8 MB)
This file is reserved to the following groups: autenticadosPage view(s)
195
checked on Jan 15, 2026
Download(s)
55
checked on Jan 15, 2026
Google ScholarTM
Check
Share
Export metadata
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.