TY - BOOK
AU - ATVA 6 2008 Seoul
AU - Cha, Sungdeok
AU - Choi, Jin-Young
AU - Kim, Moonzoo
AU - Lee, Insup
AU - Viswanathan, Mahesh
TI - Automated technology for verification and analysis 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings
PB - Springer
SN - 354088386X
SN - 9783540883869
KW - Automatic theorem proving Congresses
KW - Konferenzschrift 2008 Seoul
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 - 2008
N2 - Literaturangaben
BT - Lecture notes in computer science ; 5311
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation