C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Tighter integration of BDDs and SMT for Predicate Abstraction.
Alessandro Cimatti
Anders Franzén
Alberto Griggio
Krishnamani Kalyanasundaram
Marco Roveri
Published in:
DATE (2010)
Keyphrases
</>
upper bound
lower bound
first order logic
high level
real time
data integration
information systems
timed automata