Please use this identifier to cite or link to this item:
http://hdl.handle.net/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: | http://hdl.handle.net/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)
42
checked on May 23, 2024
Download(s)
19
checked on May 23, 2024
Google ScholarTM
Check
Share
Export metadata
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.