Statistical checking of logic circuits w
โ
M. S. Bershtein; A. M. Romankevich
๐
Article
๐
1977
๐
Springer US
๐
English
โ 564 KB