Principles of the Spin Model Checker

MLA

Ben-Ari, Mordechai, and Mordechai Benari. Principles of the Spin Model Checker. Springer London, 2008.

APA

Ben-Ari, M., & Benari, M. (2008). Principles of the Spin Model Checker. Springer London.

Chicago

Ben-Ari, Mordechai, and Mordechai Benari. Principles of the Spin Model Checker. : Springer London, 2008.