Cutigi, J., 		Ribeiro, P., 		Simão, A., & 		Souza, S.
(2010).
 Redução do Número de Seqüências no Teste de Conformidade de Protocolos.
In <em>Proceedings of the 11th Workshop on Testing and Fault Tolerance</em>, (pp. 105-117). Porto Alegre: SBC.
doi:10.5753/wtf.2010.23099