Set-Based Analysis of Reactive Infinite-State Systems.

Witold Charatonik Andreas Podelski

Published in: TACAS (1998)

Keyphrases

artificial intelligence
databases
probability distribution
database
information systems
data structure
digital libraries
image analysis
management system
small number
statistical analysis
quantitative analysis