Showing 1 - 2 results of 2 for search 'Stephane Devismes', query time: 0.02s Refine Results
  1. 1
    A Framework for Certified Self-Stabilization

    A Framework for Certified Self-Stabilization by Karine Altisen, Pierre Corbineau, Stephane Devismes

    Published 2017-11-01
    Get full text
    Article
  2. 2
    Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps

    Self-Stabilizing Disconnected Components Detection and Rooted Shortest-Path Tree Maintenance in Polynomial Steps by Stéphane Devismes, David Ilcinkas, Colette Johnen

    Published 2017-11-01
    Get full text
    Article

Search Tools: