- CSB - MetaPress - Google - Bing - Yahoo
 | 2001 | |
|---|---|---|
| 1 |      | Tatsuhiro Tsuchiya, Shin'ichi Nagano, Rohayu Bt Paidi, Tohru Kikuno: Symbolic Model Checking for Self-Stabilizing Algorithms. IEEE Trans. Parallel Distrib. Syst. 12(1): 81-95 (2001) |
| 1 | Tohru Kikuno | [1] |
| 2 | Shin'ichi Nagano | [1] |
| 3 | Tatsuhiro Tsuchiya | [1] |