@inproceedings{inproceedings468be137,
title   = {Ferramenta de análise de controladores para sistemas de eventos discretos},
author = {Tsugawa, Marcia Fumie and Inove, Alexandre Shigueru and Takase, Fábio Kawaoka and Miyagi, Paulo Eigi},
year = {1994},
publisher = {Cetepe},
booktitle   = {Congresso de Iniciação Científica e Tecnológica em Engenharia}
}