Using complete-1-distinguishability for FSM equivalence checking.

Pranav Ashar Aarti Gupta Sharad Malik

Published in: ACM Trans. Design Autom. Electr. Syst. (2001)

Keyphrases

finite state machines
databases
genetic algorithm
information systems
pattern matching
neural network
artificial intelligence
decision trees
digital libraries
preprocessing
relational databases