APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (8th ed.) Citation

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

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