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

Xiaojuan Cai Mizuhito 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