| 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-O-412-82O6O-1 (O-412-82O6O-9) | 1997 | Tadanori Mizuno · Norio Shiratori |
Atsushi Takagi · Atsushi Takeuchi · Atsushi Tsuchiya · Atsushi Tsukui