Sciweavers

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