@inproceedings{inproceedingsb86fdb98,
title   = {Minimizacao de maquinas de estados finitos por meio de bdds},
author = {Teruya, M Y and Wang, Jiang Chau},
year = {1996},
publisher = {Usp},
booktitle   = {Simposio de Iniciacao Cientifica da Universidade de São Paulo}
}