APA (7th ed.) Citation

Ben-Ari, M. (2008). Principles of the Spin model checker. Springer. https://doi.org/10.1007/978-1-84628-770-1

Chicago Style (17th ed.) Citation

Ben-Ari, M. Principles of the Spin Model Checker. London: Springer, 2008. https://doi.org/10.1007/978-1-84628-770-1.

MLA (9th ed.) Citation

Ben-Ari, M. Principles of the Spin Model Checker. Springer, 2008. https://doi.org/10.1007/978-1-84628-770-1.