| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Computer Aided Verification: 5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings | 978-3-540-56922-0 (3-540-56922-7) | 2008 | ||
| Computer Aided Verification: 5th International Conference, Cav '93 Eloybdam Greece, June 28-July 1, 1993 Proceedings | 978-0-387-56922-2 (0-387-56922-7) | 1993 | ||
| Pricing Communication Networks: Economics, Technology and Modelling | 978-0-470-85130-2 (0-470-85130-9) | 2003 | Richard Weber | |