@inproceedings{APD16,
title = {A Framework for Certified Self-Stabilization },
author = {Altisen, Karine and Pierre, Corbineau and Devismes, St\'ephane},
month = {June 6-9},
year = {2016},
booktitle = {FORTE'2016, the 36th IFIP International Conference on Formal Techniques for Distributed Objects, Components and System},
address = {Heraklion, Crete},
pages = {36--51},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {9688},
team = {SYNC, PACSS},
}