Sign in

Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata.

Xiaojuan CaiMizuhito Ogawa
Published in: FLOPS (2014)
Keyphrases
  • model checking
  • timed automata
  • finite state machines
  • finite automata
  • real world
  • structured data
  • petri net
  • regular expressions
  • data sets
  • genetic algorithm
  • information systems
  • markov chain