TY -
GEN
AU - Steinhorst, Sebastian
TI -
Formal verification methodologies for nonlinear analog circuits
KW - Verifikation ; Elektronik ; Entwurfsautomation ; Analoges System
KW - Hochschulschrift
PY - 2011
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -