| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|---|
| Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | Taschenbuch | 978-3-540-88386-9 (3-540-88386-X) | 2008 | |
| Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | － | 978-3-540-88422-4 (3-540-88422-X) | 2008 | Sungdeok (Steve) Cha · Jin-Young Choi · Moonzoo Kim · Insup Lee |
| Formal Techniques for Distributed Objects, Components, and Systems | Taschenbuch | 978-3-319-19194-2 (3-319-19194-2) | 2015 | Susanne Graf |