Using Complete-1-Distinguishability for FSM equivalence checking | IEEE Conference Publication | IEEE Xplore