Handbook of Model Checking

MLA

Clarke, et al. Handbook of Model Checking. Springer International Publishing, 2018.

APA

Clarke, C., Bloem, R., Henzinger, T. A, & Veith, H. (2018). Handbook of Model Checking. Springer International Publishing.

Chicago

Clarke, Roderick Bloem, Thomas A Henzinger, and Helmut Veith. Handbook of Model Checking. : Springer International Publishing, 2018.