Dynamic Search-Space Pruning Techniques in Path Sensitization

AuthID
 P-00F-N8R
2
Author(s)
Sakallah Karem, A
Document Type
Proceedings Paper
Year published
1994
Published
in Proceedings - Design Automation Conference, ISSN: 0738-100X
Pages: 705-711
Conference
Proceedings of the 31St Design Automation Conference, Date: 6 June 1994 through 10 June 1994, Location: San Diego, CA, USA, Sponsors: ACM;IEEE;EDAC
Indexing
Scopus®
Publication Identifiers
Scopus: 2-s2.0-0028594897
Source Identifiers
ISSN: 0738-100X
Export Publication Metadata
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service