Abstraction Refinement for Large Scale Model Checking

MLA

Wang, Chao, Gary D Hachtel, and Fabio Somenzi. Abstraction Refinement for Large Scale Model Checking. Springer US, 2006.

APA

Wang, C., Hachtel, G. D, & Somenzi, F. (2006). Abstraction Refinement for Large Scale Model Checking. Springer US.

Chicago

Wang, Chao, Gary D Hachtel, and Fabio Somenzi. Abstraction Refinement for Large Scale Model Checking. : Springer US, 2006.