Sciweavers

ICPADS
2006
IEEE

Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps

14 years 6 months ago
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps
Abhishek Dhama, Jens Oehlerking, Oliver E. Theel
Added 11 Jun 2010
Updated 11 Jun 2010
Type Conference
Year 2006
Where ICPADS
Authors Abhishek Dhama, Jens Oehlerking, Oliver E. Theel
Comments (0)