Erweiterung der Simulation um die formale Verifikation von

Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen - Christoph Holzbaur - 9783656997764