Sciweavers

13306 search results - page 8 / 2662
» Theoretical Computer Science
Sort
View
105
Voted
CSR
2009
Springer
16 years 11 days ago
Formal Verification of Gate-Level Computer Systems
Mark A. Hillebrand, Sergey Tverdyshev