TY - GEN
AU - Peled, Doron
AU - Tsay, Yih-Kuen
TI - Automated Technology for Verification and Analysis Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings
PB - Springer Berlin Heidelberg
SN - 9783540319696
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 - Compilers (Computer programs).
KW - Konferenzschrift 2005 Taipeh
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 - 2005
N2 - Includes bibliographical references and index
BT - Lecture Notes in Computer Science ; 3707
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation