Compositional Analysis for Verification of Parameterized Systems.

Samik Basu C. R. Ramakrishnan

Published in: TACAS (2003)

Keyphrases

data analysis
complex systems
database
computer vision
data structure
user interface
quantitative analysis
asynchronous circuits