Please use this identifier to cite or link to this item:
https://accedacris.ulpgc.es/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: autenticados
Items in accedaCRIS are protected by copyright, with all rights reserved, unless otherwise indicated.