APA Citation

Ben-Ari, M. (2008). Principles of the Spin Model Checker (1st ed. 2008.). London: Springer London.

Chicago Style Citation

Ben-Ari, Mordechai. Principles of the Spin Model Checker. 1st ed. 2008. London: Springer London, 2008.

MLA Citation

Ben-Ari, Mordechai. Principles of the Spin Model Checker. 1st ed. 2008. London: Springer London, 2008.

Warning: These citations may not always be 100% accurate.