%0 Book
%T Ansätze zur formalen Verifikation analoger Schaltungen
%A Hedrich, Lars
%7 Als Ms. gedr.
%I VDI-Verl.
%@ 3183257203
%K Analogschaltung
%K Entwurfsautomation
%K Formale Spezifikationstechnik
%K Hardwareverifikation
%D 1997
%X Literaturverz. S. 121 - 128
%C VDI-Verl.
%C Düsseldorf
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation