@mastersthesis{mastersthesis6bddceab,
title   = {Ambiente integrado para verificação e teste da coordenação de componentes tolerantes a falhas},
author = {Hanazumi, Simone and Melo, Ana Cristina Vieira de},
year = {2010},
school = {Universidade de São Paulo}
}