Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns.
['Jens Schönherr']
Ein gemeinsamer Ansatz für die formale und simulative Verifikation digitaler Schaltungsdesigns.