Search CORE

3 research outputs found

Exploitation of Ljapunov theory for verifying self-stabilizing algorithms

Author: Theel Oliver
Publication venue: 'Springer Fachmedien Wiesbaden GmbH'
Publication date: 01/01/2000
Field of study

Exploitation of Ljapunov Theory for Verifying Self-Stabilizing Algorithms

Author: E. Dijkstra
E. W. Dijkstra
E. W. Dijkstra
J. Desel
J. L. W. Kessels
M. A. Ljapunov
M. G. Gouda
M. Schneider
R. E. Kalman
V. I. Utkin
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Formal Verification of Distributed Systems

Author: Pang J.
Publication venue: Vrije Universiteit
Publication date: 01/01/2004
Field of study

Fokkink, W.J. [Promotor

VU Research Portal

CWI's Institutional Repository

core

core