Back to Search Start Over

Verifying really complex systems.

Authors :
Kuehlmann, Andreas
Bose, Anjan
Corman, David E.
Rutenbar, Rob A.
Manning, Robert M.
Newman, Anna
Source :
2008 45th ACM/IEEE Design Automation Conference; Jun2008, p552-553, 2p
Publication Year :
2008

Details

Language :
English
ISBNs :
9781605581156
Database :
Complementary Index
Journal :
2008 45th ACM/IEEE Design Automation Conference
Publication Type :
Conference
Accession number :
83780940
Full Text :
https://doi.org/10.1145/1391469.1391608
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details