Yassine Lakhnech, Michael Siegel. Deductive verification of stabilizing systems. In Sukumar Ghosh, Ted Herman, editors, 3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, August, 1997, Proceedings. pages 201-216, Carleton University Press, 1997.
@inproceedings{LakhnechS97,
title = {Deductive verification of stabilizing systems},
author = {Yassine Lakhnech and Michael Siegel},
year = {1997},
researchr = {https://researchr.org/publication/LakhnechS97},
cites = {0},
citedby = {0},
pages = {201-216},
booktitle = {3rd Workshop on Self-stabilizing Systems, Santa Barbara, California, August, 1997, Proceedings},
editor = {Sukumar Ghosh and Ted Herman},
publisher = {Carleton University Press},
isbn = {0-88629-333-2},
}