APA Edition Citation

Holzmann, G. J. (2003). The SPIN model checker : primer and reference manual / Gerard J. Holzmann: Primer and reference manual. Addison-Wesley.

Chicago Edition Citation

Holzmann, Gerard J. The SPIN Model Checker : Primer and Reference Manual / Gerard J. Holzmann: Primer and Reference Manual. Boston, Mass. ; London: Addison-Wesley, 2003.

MLA Edition Citation

Holzmann, Gerard J. The SPIN Model Checker : Primer and Reference Manual / Gerard J. Holzmann: Primer and Reference Manual. Addison-Wesley, 2003.