@inproceedings{inproceedingsd83aeb8e, title = {Gerador de aplicacoes para sistemas concorrentes com utilizacao de ferramentas formais}, author = {Vasconcelos, J R and Santana, Regina Helena Carlucci}, year = {1995}, publisher = {Icmsc-Usp}, booktitle = {Workshop de Dissertacao em Andamento} }