![](/img/cover-not-exists.png)
Verisym: Verifying Circuits by Symbolic Simulation
William Adams, Warren A. Hunt, Damir JamsekVolume:
22
Language:
english
Pages:
11
DOI:
10.1023/a:1022977607142
Date:
March, 2003
File:
PDF, 81 KB
english, 2003