A framework for certified self-stabilization

DOI10.1007/978-3-319-39570-8_3MaRDI QIDQ6828828zbMATH OpenFDO

Authors Karine Altisen, Pierre Corbineau, Stéphane Devismes

Publication date 19 October 2016

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Distributed algorithms (68W15)

This page was built for publication: A framework for certified self-stabilization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6828828)