author = { Hedrich, Lars },

title = { Ansätze zur formalen Verifikation analoger Schaltungen },

edition = { Als Ms. gedr. } ,

publisher = {VDI-Verl.},

isbn = {3183257203},

keywords = { Analogschaltung , Entwurfsautomation , Formale Spezifikationstechnik , Hardwareverifikation },

year = {1997},

abstract = {Literaturverz. S. 121 - 128},

booktitle = {Fortschritt-Berichte VDI ; Reihe 20, Rechnerunterstützte Verfahren ; 257},

address = { Düsseldorf },

url = { http://slubdd.de/katalog?TN_libero_mab2 }