@mastersthesis{mastersthesis59052809,
title   = {Metodologia de geracao de sequencias de teste de conformidade para protocolos de comunicacao de dados a partir de especificacao formal},
author = {Gabos, Denis and Stiubiener, Stefania},
year = {1990},
school = {Universidade de São Paulo}
}