TY -
BOOK
AU - Hedrich, Lars
TI -
Ansätze zur formalen Verifikation analoger Schaltungen
ET - Als Ms. gedr.
PB - VDI-Verl.
SN - 3183257203
KW - Analogschaltung
KW - Entwurfsautomation
KW - Formale Spezifikationstechnik
KW - Hardwareverifikation
PY - 1997
N2 - Literaturverz. S. 121 - 128
BT - Fortschritt-Berichte VDI ; Reihe 20, Rechnerunterstützte Verfahren ; 257
CY - Düsseldorf
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -