APA Citation

Wang, C., Hachtel, G. D., & Somenzi, F. (2006). Abstraction Refinement for Large Scale Model Checking (1st ed. 2006.). New York, NY: Springer US.

Chicago Style Citation

Wang, Chao, Gary D. Hachtel, and Fabio Somenzi. Abstraction Refinement for Large Scale Model Checking. 1st ed. 2006. New York, NY: Springer US, 2006.

MLA Citation

Wang, Chao, Gary D. Hachtel, and Fabio Somenzi. Abstraction Refinement for Large Scale Model Checking. 1st ed. 2006. New York, NY: Springer US, 2006.