Alex D. B. Alberto, Adenilso Simão. Minimization of incompletely specified finite state machines based on distinction graphs. In 10th Latin American Test Workshop, LATW 2009, Rio de Janeiro, Brazil, March 2-5, 2009. pages 1-6, IEEE, 2009. [doi]
Abstract is missing.