Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.

Aurore Annichini Eugene Asarin Ahmed Bouajjani

Published in: CAV (2000)

Keyphrases

distributed systems
neural network
intelligent systems
computer systems
learning systems
real time
image processing
multimedia
case study
similarity measure
multi agent
relational databases
management system
high speed
complex systems