@inproceedings{inproceedings492d25cc,
title   = {Um analisador de especificações operacionais},
author = {Rodriguez, Maritza and Masiero, Paulo Cesar},
year = {1990},
publisher = {SUCESU},
booktitle   = {Congresso Nacional de Informatica}
}