Identificador persistente para citar o vincular este elemento:
http://hdl.handle.net/10553/62712
| Título: | Aportaciones a la verificación formal de circuitos secuenciales | Autores/as: | Navarro Botello,Héctor | Director/a : | Montiel Nelson, Juan Antonio | Clasificación UNESCO: | 3307 Tecnología electrónica | Palabras clave: | Electrónica Circuitos electrónicos |
Fecha de publicación: | 2006 | Departamento: | Departamento de Ingeniería Electrónica Y Automática | Facultad: | Escuela de Ingeniería de Telecomunicación y Electrónica | URI: | http://hdl.handle.net/10553/62712 | Derechos: | Acceso restringido para la comunidad universitaria de la ULPGC |
| Colección: | Tesis doctoral Restringido ULPGC |
Adobe PDF (6,8 MB)
Inicia sesión para acceder
Los elementos en ULPGC accedaCRIS están protegidos por derechos de autor con todos los derechos reservados, a menos que se indique lo contrario.