Ritwika Ghosh, Sayan Mitra. A Strategy for Automatic Verification of Stabilization of Distributed Algorithms. Susanne Graf; Mahesh Viswanathan. 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Ju
HAL Archives-Ouvertes,
Ritwika Ghosh, Sayan Mitra. A Strategy for Automatic Verification of Stabilization of Distributed Algorithms.