Artikel in einem Konferenzbericht,

Results on the Interface between Formal Verification and ATPG.

, , , , , und .
CAV (DIMACS/AMS volume), Volume 3 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 615-628. DIMACS/AMS, (1990)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen