Sciweavers

CHARME
2003
Springer

Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking

13 years 8 months ago
Efficient Distributed SAT and SAT-Based Distributed Bounded Model Checking
Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav
Added 06 Jul 2010
Updated 06 Jul 2010
Type Conference
Year 2003
Where CHARME
Authors Malay K. Ganai, Aarti Gupta, Zijiang Yang, Pranav Ashar
Comments (0)