| |
| 2001 | ||
|---|---|---|
| 1 | EE | 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] |