repositorio institucional udlap
es
|
en
DSpace Repository
Digital design verification based on P-stable semantics
Login
DSpace Home
→
Producción Científica
→
Publicaciones Científicas
→
Articulos Científicos Indexados
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Digital design verification based on P-stable semantics
Zepeda C.
;
Marcial-Romero J.R.
;
Osorio M.
;
Castillo H.
;
Quintos D.
;
Arzola S.
URI:
http://repositorio.udlap.mx/xmlui/handle/123456789/6616
Date:
2010
Abstract:
https://www.scopus.com/inward/record.uri?eid=2-s2.0-77952511998&doi=10.1109%2fCONIELECOMP.2010.5440767&partnerID=40&md5=37b50e94ae0a39b30313d71f84ab5c03
Show full item record
Files in this item
Files
Size
Format
View
There are no files associated with this item.
This item appears in the following Collection(s)
Articulos Científicos Indexados
Search DSpace
Search DSpace
This Collection
Advanced Search
Browse
All of DSpace
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register