AAutomated Formal MethodsAutomated Formal Methodsde Natarajan ShankarEdiciones (1)Automated Formal Methods (2017)Association for Computing Machinery · inglés · ISBN 9781450353304Más obras de Natarajan ShankarMMechanical verification of a schematic Byzantine clock synchMechanical verification of a schematic Byzantine clock synchronization algorithmAutomated ReasoningVVerified Software : Theories, Tools, ExperimentsVerified Software : Theories, Tools, Experiments
MMechanical verification of a schematic Byzantine clock synchMechanical verification of a schematic Byzantine clock synchronization algorithm
