Automated Technology for Vertification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
Berlin Heidelberg: Springer-Verlag GmbH, 2006
Online
Monographie, Konferenzschrift, Elektronische Ressource
Ermittle Ausleihstatus...
Titel: |
Automated Technology for Vertification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
|
---|---|
Verantwortlichkeitsangabe: | edited by Susanne Graf, Wenhui Zhang |
Autor/in / Beteiligte Person: | Graf, Susanne ; Zhang, Wenhui |
Lokaler Link: | |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin Heidelberg: Springer-Verlag GmbH, 2006 |
Medientyp: | Monographie, Konferenzschrift |
Datenträgertyp: | Elektronische Ressource |
ISBN: | 9783540472384 |
DOI: | 10.1007/11901914 |
Schlagwort: |
|
Sonstiges: |
|