TY - BOOK
AU - International Federation for Information Processing Working Group Very Large Scale Integration
AU - International Federation for Information Processing Working Group Very Large Scale Integration
AU - CHARME 11 2001 Livingston, Scotland
AU - CHARME 11 2001 Livingston, Scotland
AU - Margaria-Steffen, Tiziana
AU - Melham, T. F.
TI - Correct hardware design and verification methods 11th IFIP WG 10.5 advanced research working conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, proceedings
PB - Springer
SN - 3540425411
SN - 9783540425410
KW - Integrated circuits Very large scale integration Computer-aided design Congresses
KW - Integrated circuits Verification Congresses
KW - Konferenzschrift 2001 Livingston, Lothian Region
KW - Hardwareentwurf
KW - Formale Methode
KW - Hardwareverifikation
KW - Model Checking
KW - Top-down-Verfahren
PY - [2001]
PY - , © 2001
N2 - Literaturangaben
BT - Lecture notes in computer science ; 2144
CY - Berlin
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation