publicações selecionadas Utilizando uma técnica de verificação formal em um algoritmo de roteamento para redes de sensores sem fio
