Marques-Silva, Joao and Sakallah, Karem (1994) Dynamic Search-Space Pruning Techniques in Path Sensitization. Design Automation Conference, United States. pp. 705-711 .
Record type:
Conference or Workshop Item
(Paper)
More information
Published date: June 1994
Additional Information:
Event Dates: June 1994
Venue - Dates:
Design Automation Conference, United States, 1994-06-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 265009
URI: http://eprints.soton.ac.uk/id/eprint/265009
PURE UUID: ac267756-8ec2-46a1-90f4-e6fa90e6b9e1
Catalogue record
Date deposited: 06 Jan 2008 11:19
Last modified: 14 Mar 2024 08:00
Export record
Contributors
Author:
Joao Marques-Silva
Author:
Karem Sakallah
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.