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 5º de outubro de 2024];1(1):5-27. Disponível em: https://periodicos.pucminas.br/index.php/abakos/article/view/P.2316-9451.2012v1n1p5