@inproceedings{inproceedings66d72ad2,
title   = {Modelagem e análise de sistemas concorrentes usando SIMDEC},
author = {Vega, Ítalo Santiago and José Neto, João},
year = {1991},
publisher = {Sucesu},
booktitle   = {Congresso Nacional de Informatica}
}