Exploitation of Ljapunov theory for verifying self-stabilizing algorithms

被引：0

作者：

Darmstadt University of Technology, Dept. of Computer Science, Alexanderstr. 10, Darmstadt ^{[1
]}

D-64283, Germany

机构：

来源：

Lect. Notes Comput. Sci. | / 209-222期

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用