Sciweavers

38
Voted
DAC
2005
ACM

Beyond safety: customized SAT-based model checking

15 years 1 months ago
Beyond safety: customized SAT-based model checking
Malay K. Ganai, Aarti Gupta, Pranav Ashar
Added 13 Nov 2009
Updated 13 Nov 2009
Type Conference
Year 2005
Where DAC
Authors Malay K. Ganai, Aarti Gupta, Pranav Ashar
Comments (0)