Wenhui Zhang (eds.)

W. Zhang · Wenhui Zhang

TitelISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Automated technology for verification and analysis 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006: proceedings978-3-54O-47238-4
(3-54O-47238-X)
2006Susanne Graf

Wenjie Zhang