| |
| 2003 | ||
|---|---|---|
| 1 | EE | Takanori Mori, Hirotaka Otsuka, Nobuo Funabiki, Akio Nakata, Teruo Higashino: A test sequence generation method for communication protocols using the SAT algorithm. Systems and Computers in Japan 34(11): 20-29 (2003) |
| 1 | Nobuo Funabiki | [1] |
| 2 | Teruo Higashino | [1] |
| 3 | Takanori Mori | [1] |
| 4 | Akio Nakata | [1] |