Sciweavers

11395 search results - page 78 / 2279
» Beyond computer science
Sort
View
122
Voted
CSR
2009
Springer
16 years 1 months ago
Formal Verification of Gate-Level Computer Systems
Mark A. Hillebrand, Sergey Tverdyshev