Springer · Vieweg+Teubner Verlag
| title | ISBN-13 (ISBN-10) | year of publication | |
|---|---|---|---|
| A Roadmap for Formal Property Verification | 978-1-4020-4757-2 (1-4020-4757-6) | 2006 | |
| Multiobjective Heuristic Search: An Introduction to Intelligent Search Methods for Multicriteria Optimization | 978-3-528-05708-4 (3-528-05708-4) | 1999 |