Timing Analysis Using Propositional Satisfiability

AuthID
P-007-861
4
Author(s)
Guerra, eSL
·
Sakallah Karem, A
Tipo de Documento
Article
Year published
1998
Publicado
in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
Volume: 3, Páginas: 95-98
Conference
Proceedings of the 1998 5Th Ieee International Conference on Electronics, Circuits and Systems (Icecs'98) - Surfing the Waves of Science and Technology, Date: 7 September 1998 through 10 September 1998, Location: Lisboa, Portugal
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-0032260483
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.