TY -
GEN
AU - Wang, Farn
TI -
Automated Technology for Verification and Analysis
Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings
PB - Springer Berlin Heidelberg
SN - 9783540236108
KW - Computer Communication Networks
KW - Computer science
KW - Information systems
KW - Logic design
KW - Software engineering
KW - Computer Science
KW - Konferenzschrift 2004 Taipeh
KW - Systementwurf
KW - Formale Methode
KW - Verifikation
KW - Model Checking
KW - Softwareentwicklung
KW - Hardwareentwurf
KW - Entwurfsautomation
PY - 2004
BT - Lecture Notes in Computer Science ; 3299
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -