Vermeidung fehlerhafter Verifikations-Ergebnisse beim Äquivalenz-Vergleich nichtlinearer analoger Schaltungen. - Ralf Klausen; Lars Hedrich; Erich Barke (MBMV, 2006)