Back to Search Start Over

Multi-threaded reachability.

Authors :
Sahoo, Debashis
Jain, Jawahar
Iyer, Subramanian K.
Dill, David L.
Emerson, E. Allen
Source :
DAC: Annual ACM/IEEE Design Automation Conference; Jun2005, p467-470, 4p
Publication Year :
2005

Details

Language :
English
ISSN :
0738100X
Database :
Complementary Index
Journal :
DAC: Annual ACM/IEEE Design Automation Conference
Publication Type :
Conference
Accession number :
73578584
Full Text :
https://doi.org/10.1145/1065579.1065701
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details