Sciweavers

10271 search results - page 10 / 2055
» Computational science
Sort
View
96
Voted
CSR
2009
Springer
15 years 11 months ago
Formal Verification of Gate-Level Computer Systems
Mark A. Hillebrand, Sergey Tverdyshev