Natarajan Shankar · 4 obras en el catálogoObrasMMechanical verification of a schematic Byzantine clock synchMechanical verification of a schematic Byzantine clock synchronization algorithmAutomated ReasoningVVerified Software : Theories, Tools, ExperimentsVerified Software : Theories, Tools, ExperimentsAAutomated Formal MethodsAutomated Formal Methods
MMechanical verification of a schematic Byzantine clock synchMechanical verification of a schematic Byzantine clock synchronization algorithm
