Analysis of Timed Systems Based on Time-Abstracting Bisimulation.

Stavros Tripakis Sergio Yovine

Published in: CAV (1996)

Keyphrases

statistical analysis
management system
intelligent systems
computer systems
image processing
clustering algorithm
similarity measure