Login / Signup
Weak Alternating Timed Automata
Pawel Parys
Igor Walukiewicz
Published in:
Log. Methods Comput. Sci. (2012)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
theorem proving
first order logic
real time systems
case study
temporal logic