APA (7th ed.) Citation

Holzmann, G. (2003). Spin Model Checker, The: Primer and Reference Manual (1st edition.). Addison-Wesley Professional.

Chicago Style (17th ed.) Citation

Holzmann, Gerard. Spin Model Checker, The: Primer and Reference Manual. 1st edition. Addison-Wesley Professional, 2003.

MLA (9th ed.) Citation

Holzmann, Gerard. Spin Model Checker, The: Primer and Reference Manual. 1st edition. Addison-Wesley Professional, 2003.

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