Login / Signup
Computing Reachability Relations in Timed Automata.
Catalin Dima
Published in:
LICS (2002)
Keyphrases
</>
timed automata
model checking
state space
theorem prover
reachability analysis
semantic relations
database
theorem proving
temporal relations
data sets
low cost