Login / Signup
Corrections to A Menagerie of Timed Automata.
Jeroen J. A. Keiren
Peter Fontana
Rance Cleaveland
Published in:
CoRR (2016)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
real time
expert systems
labeled data