C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification of Parameterized Systems by Dynamic Induction on Diagrams.
Zohar Manna
Henny Sipma
Published in:
CAV (1999)
Keyphrases
</>
building blocks
expert systems
management system
knowledge based systems
information retrieval systems
changing environment
database
information retrieval
social networks
website
case study
relational databases
dynamic environments
retrieval systems