Reachability problems for communicating finite state machines

Published in: CoRR (2003)

Keyphrases

finite state machines
database
np complete
problems involving
solving problems
data sets
neural network
knowledge base
database systems
decision problems
finite state automata