| |
| 1997 | ||
|---|---|---|
| 1 | EE | Byung-Ho Park, Shigetomo Kimura, Eun-Seok Lee, Norio Shiratori: An equivalence algorithm to point out errors for basic LOTOS in a distributed system environment and its prototype. ICPADS 1997: 230-235 |
| 1 | Shigetomo Kimura | [1] |
| 2 | Eun-Seok Lee | [1] |
| 3 | Norio Shiratori | [1] |