| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Formal Description Techniques and Protocol Specification, Testing and Verification: Forte XI/Pstv XVIII 98 Ifip Tc6 Wg6.1 Joint International Conferen ... in Information and Communication Technology) | 978-0-412-84760-8 (0-412-84760-4) | 1998 | Elie Najm ยท Ana Cavalli |
| Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995: International ... in Information and Communication Technology) | 978-0-412-78110-0 (0-412-78110-7) | 1996 | Ana Cavalli |