Formal design of self-stabilizing programs.
Saved in:
| Title: | Formal design of self-stabilizing programs. |
|---|---|
| Authors: | Johnen, Colette1, Gouda, Mohamed G.1, Prasetya, I. S. W. B.1, Swierstra, S. D.1 |
| Source: | Journal of High Speed Networks; 2005, Vol. 14 Issue 1, p59-83, 25p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!