| 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 | Sungdeok Steve Cha · Jin-Young Choi · Insup Lee · Mahesh Viswanathan |
| 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 · Insup Lee · Mahesh Viswanathan |