About this scholarly article

2010 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) - Efficient state space exploration: Interleaving stateless and state-based model checking by Ganai, Malay K.; Wang, Chao; Li, Weihong is a scholarly article available to read on EtoBox.

Author

Ganai, Malay K.; Wang, Chao; Li, Weihong

Publisher

IEEE

Published

2010

Language

EN