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]
@inproceedings{AlbertoS09,
title = {Minimization of incompletely specified finite state machines based on distinction graphs},
author = {Alex D. B. Alberto and Adenilso Simão},
year = {2009},
doi = {10.1109/LATW.2009.4813796},
url = {https://doi.org/10.1109/LATW.2009.4813796},
researchr = {https://researchr.org/publication/AlbertoS09},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {10th Latin American Test Workshop, LATW 2009, Rio de Janeiro, Brazil, March 2-5, 2009},
publisher = {IEEE},
isbn = {978-1-4244-4207-2},
}