TY -
GEN
AU - Hutchison, David
AU - Mitchell, John C.
AU - Naor, Moni
AU - Nierstrasz, Oscar
AU - Pandu Rangan, C.
AU - Steffen, Bernhard
AU - Sudan, Madhu
AU - Terzopoulos, Demetri
AU - Tygar, Doug
AU - Vardi, Moshe Y.
AU - Viswanathan, Mahesh
AU - Cha, Sungdeok (Steve)
AU - Weikum, Gerhard
AU - Choi, Jin-Young
AU - Kanade, Takeo
AU - Kim, Moonzoo
AU - Kittler, Josef
AU - Kleinberg, Jon
AU - Lee, Insup
AU - Mattern, Friedemann
TI -
Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
PB - Springer Berlin Heidelberg
SN - 9783540883876
KW - Computer Communication Networks
KW - Logic design
KW - Information systems
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Computers, Special purpose.
KW - Computer networks .
KW - Compilers (Computer programs).
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
BT - Lecture Notes in Computer Science ; 5311
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -