João Paulo da Conceição Soares


AuthID: R-001-QS0

Publications Requiring Validation

1
TITLE: Formal Verification and Visualization of the Ceph Consensus Algorithm Using Tla+
AUTHORS: Ronaldo Salles; Rolando Martins; Afonso Fernandes; João Soares; Luís Antunes;
PUBLISHED: 2023
INDEXED IN: CrossRef
IN MY: ORCID

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service