![]() | ![]() |
1993 | ||
---|---|---|
3 | P. J. A. Lentfert, S. Doaitse Swierstra: Towards the Formal Design of Self-Stabilizing Distributed Algorithms. STACS 1993: 440-451 | |
2 | P. J. A. Lentfert, S. Doaitse Swierstra: Distributed Maximum Maintenance on Hierarchically Divided Graphs. Formal Asp. Comput. 5(1): 21-60 (1993) | |
1990 | ||
1 | EE | A. H. Uittenbogaard, P. J. A. Lentfert, S. Doaitse Swierstra: Smart cabling: an overview. ACM SIGOPS European Workshop 1990 |
1 | S. Doaitse Swierstra | [1] [2] [3] |
2 | A. H. Uittenbogaard | [1] |