Reductions and Abstractions for Formal Verification of Distributed Round-Based Algorithms
AuthID
P-00T-KKN
P-00T-KKN
© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service