C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Efficient BMC for Multi-Clock Systems with Clocked Specifications.
Malay K. Ganai
Aarti Gupta
Published in:
ASP-DAC (2007)
Keyphrases
</>
expert systems
complex systems
computationally expensive
data sets
real world
learning algorithm
search engine
high level
relational databases