Login / Signup

Weak Alternating Timed Automata

Pawel ParysIgor 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