Deductive verification of stabilizing systems

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.

Abstract

Abstract is missing.