M.K. Ganai

Accelerating High-level Bounded Model Checking

M.K. Ganai, A. Gupta, 2006, 2006 IEEE/ACM International Conference on Computer Aided Design.