Using complete-1-distinguishability for FSM equivalence checking.

Pranav Ashar Aarti Gupta Sharad Malik

Published in: ICCAD (1996)

Keyphrases

finite state machines
databases
data mining
image segmentation
cooperative
feature space
real world
case study
similarity measure
special case
probability distribution
consistency checking