Login / Signup

Efficient Verification of Timed Automata with BDD-Like Data-Structures.

Farn Wang
Published in: VMCAI (2003)
Keyphrases
  • timed automata
  • data structure
  • model checking
  • database
  • neural network
  • algorithms and data structures
  • expert systems
  • computationally efficient
  • data types
  • indexing structure