@inproceedings{inproceedings521ae6a3,
title   = {Minimization of incompletely specified finite state machines based on distinction graphs},
author = {Alberto, Alex and Simão, Adenilso da Silva},
year = {2009},
publisher = {IEEE},
booktitle   = {Latin American Test Workshop - LATW}
}