| |
| 1991 | ||
|---|---|---|
| 2 | Hironori Saito, Toru Hasegawa, Yoshiaki Kakuda: Protocol Verification System for SDL Specifications Based on Acyclic Expansion Algorithm and Temporal Logic. FORTE 1991: 511-526 | |
| 1 | Yoshiaki Kakuda, Hironori Saito: An Integrated Approach to Design of Protocol Specifications Using Protocol Validation and Synthesis. IEEE Trans. Computers 40(4): 459-467 (1991) | |
| 1 | Toru Hasegawa | [2] |
| 2 | Yoshiaki Kakuda | [1] [2] |