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 16º de março de 2025];1(1):5-27. Disponível em: https://periodicos.pucminas.br/abakos/article/view/P.2316-9451.2012v1n1p5