Login / Signup

Sampled Universality of Timed Automata.

Parosh Aziz AbdullaPavel KrcálWang Yi
Published in: FoSSaCS (2007)
Keyphrases
  • timed automata
  • model checking
  • reachability analysis
  • theorem prover
  • cellular automata
  • first order logic
  • theorem proving
  • temporal logic
  • real time systems
  • database
  • sampled data