João Paulo da Conceição Soares


AuthID: R-001-QS0

Publicações a aguardar confirmação

1
TÍTULO: Formal Verification and Visualization of the Ceph Consensus Algorithm Using Tla+
AUTORES: Ronaldo Salles; Rolando Martins; Afonso Fernandes; João Soares; Luís Antunes;
PUBLICAÇÃO: 2023
INDEXADO EM: CrossRef
NO MEU: ORCID

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service