TY - GEN
AU - Graf, Susanne
AU - Zhang, Wenhui
TI - Automated Technology for Vertification and Analysis 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings
PB - Springer Berlin Heidelberg
SN - 9783540472384
KW - Computer Communication Networks
KW - Logic design
KW - Information systems
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Computer networks .
KW - Computers, Special purpose.
KW - Computer-aided engineering.
KW - Konferenzschrift 2006 Peking
KW - Systementwurf
KW - Systemanalyse
KW - Formale Methode
KW - Verifikation
KW - Model Checking
KW - Softwareentwicklung
KW - Hardwareentwurf
KW - Zeitbehafteter Automat
KW - Eingebettetes System
KW - Hybrides System
PY - 2006
BT - Lecture Notes in Computer Science ; 4218
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation