Please use this identifier to cite or link to this item: http://hdl.handle.net/10553/62712
DC FieldValueLanguage
dc.contributor.advisorMontiel Nelson, Juan Antonioes
dc.contributor.authorNavarro Botello,Héctores
dc.date.accessioned2020-01-21T10:21:00Z-
dc.date.available2007-10-05T00:00:00Zes
dc.date.available2020-01-21T10:21:00Z-
dc.date.issued2006en_US
dc.identifier.othercontentdm-postulpgces
dc.identifier.urihttp://hdl.handle.net/10553/62712-
dc.formatPDFes
dc.format.mimetype300 ppp., TIFF sin compresiónes
dc.languagespaen_US
dc.rightsAcceso restringido para la comunidad universitaria de la ULPGCes
dc.subject3307 Tecnología electrónicaen_US
dc.subject.otherElectrónicaes
dc.subject.otherCircuitos electrónicoses
dc.titleAportaciones a la verificación formal de circuitos secuencialeses
dc.typeinfo:eu-repo/semantics/doctoralThesisen_US
dc.typeThesisen_US
dc.typeThesisen_US
dc.contributor.departamentoDepartamento de Ingeniería Electrónica Y Automáticaes
dc.contributor.facultadEscuela de Ingeniería de Telecomunicación y Electrónicaen_US
dc.identifier.absysnet493567es
dc.type2Tesis doctoralen_US
dc.description.notasPrograma de doctorado: Ingenierí­a de Telecomunicación Avanzadaen_US
dc.identifier.currens1995es
dc.description.numberofpages222 p. : ilustracioneses
dc.utils.revisionen_US
dc.identifier.matriculaTESIS-123441es
dc.identifier.ulpgces
dc.contributor.programaIngeniería De Telecomunicación Avanzada (Interdepartamental)es
item.grantfulltextrestricted-
item.fulltextCon texto completo-
crisitem.advisor.deptGIR IUMA: Instrumentación avanzada-
crisitem.advisor.deptIU de Microelectrónica Aplicada-
crisitem.advisor.deptDepartamento de Ingeniería Electrónica y Automática-
crisitem.author.deptGIR IUMA: Equipos y Sistemas de Comunicación-
crisitem.author.deptIU de Microelectrónica Aplicada-
crisitem.author.parentorgIU de Microelectrónica Aplicada-
crisitem.author.fullNameNavarro Botello,Héctor-
Appears in Collections:Tesis doctoral
Restringido ULPGC
Thumbnail
Adobe PDF (6,8 MB)
This file is reserved to the following groups: autenticados
Show simple item record

Page 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.