v1v2v3 (latest)

A Framework for Certified Self-Stabilization

27 October 2016

Papers citing "A Framework for Certified Self-Stabilization"

3 / 3 papers shown

Title
Computer Aided Formal Design of Swarm Robotics Algorithms Thibaut Balabonski Pierre Courtieu Robin Pelle Lionel Rieg Sébastien Tixeuil X. Urbain 29 3 0 18 Jan 2021
Formal Verification of Blockchain Byzantine Fault Tolerance Pierre Tholoniat Vincent Gramoli 42 2 0 16 Sep 2019
Finding Structure in Dynamic Networks Arnaud Casteigts 27 1 0 20 Jul 2018