| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Description Techniques and Protocol Specification, Testing and Verification: FORTE X / PSTV XVII '97: IFIP TC6/WG 6.1 International Conference ... in Information and Communication Technology) | 978-0-412-82060-1 (0-412-82060-9) | 1997 | Atsushi Togashi · Norio Shiratori |
| Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems: International Workshop Proceedings | 978-0-412-71160-2 (0-412-71160-5) | 1995 | Teruo Higashino · Norio Shiratori |