Voltar aos Detalhes do Artigo
Alternative specification and correctness proofs of the distributed network reachability algorithm DOI 10.5752/P.2316-9451.2012v1n1p5
Baixar
Baixar PDF