| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
|---|---|---|---|
| Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings | 978-3-54O-47237-7 (3-54O-47237-1) | 2008 | Susanne Graf |
W. Zhang · Wanhua Zheng · Wanyu Zang · Weiwen Zhang · Weiyuan Zhang · Wen Zheng · Wen Zhenxi · Wenhao Zhang · Wenhui Zhang (eds.) · Wenwu Zhang · Wenyi Zhang