1.
Weber A, Duarte Jr. EP, Fonseca KVO. Alternative specification and correctness proofs of the distributed network reachability algorithm DOI 10.5752/P.2316-9451.2012v1n1p5. Abakos [Internet]. 30º de novembro de 2012 [citado 2º de dezembro de 2020];1(1):5-27. Disponível em: http://periodicos.pucminas.br/index.php/abakos/article/view/P.2316-9451.2012v1n1p5