| |
| 2002 | ||
|---|---|---|
| 1 | EE | Takayuki Hamada, Tatsuhiro Tsuchiya, Masahide Nakamura, Tohru Kikuno: Using Symbolic Model Checking to Detect Service Interactions in Telecommunication Services. ICOIN (1) 2002: 641-651 |
| 1 | Tohru Kikuno | [1] |
| 2 | Masahide Nakamura | [1] |
| 3 | Tatsuhiro Tsuchiya | [1] |