Metadata only
Author
Blanc, Nicolas
Kroening, Daniel
Date
2010-05Type
- Journal Article
Publication status
publishedJournal / series
ACM transactions on design automation of electronic systemsVolume
Pages
Publisher
Association for Computing MachinerySubject
Algorithms; Verification; SystemC; Simulation; Partial-order reduction; Model checking; Formal analysisNotes
.More
Show all metadata