Sciweavers

10604 search results - page 166 / 2121
» Computational Fluid Dynamics
Sort
View
DAC
2005
ACM
15 years 8 months ago
Dynamic abstraction using SAT-based BMC
Liang Zhang, Mukul R. Prasad, Michael S. Hsiao, Th...