| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Computer Aided Verification: Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992. Proceedings | 978-3-540-56496-6 | 2008 | David K. Probst | |
| Concepts for distributed systems design | 978-0-387-12049-2 | 1983 | ||
| Concepts for Distributed Systems Design | 978-3-642-68853-9 | 1983 | ||
| Formal Description Techniques VIII: Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques, Held in Montreal, ... in Information and Communication Technology) | 978-0-412-73270-6 | 1996 | Rachida Dssouli · Omar Rafiq | |
| Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems | 978-0-7923-7921-8 | 2000 | Hasan Ural · Robert L. Probert | |
G.B. · G. Bochmann · G. V. · G. Von Bochmann · Gregor V. Bochmann · V. B.