ELSE: A New Symbolic State Generator for Timed Automata.

Sarah Zennou Manuel Yguel Peter Niebert

Published in: FORMATS (2003)

Keyphrases

timed automata
model checking
reachability analysis
databases
real time systems
real world
social networks
case study
high level
multiscale
data structure
hidden markov models
state space