Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

HOLZMANN, Gerard J., 2005. The spin model checker : primer and reference manual. 2. print. Boston, Mass. [u.a.]: Addison-Wesley. ISBN 0321773713.

Elsevier - Harvard (with titles)

Holzmann, G.J., 2005. The spin model checker : primer and reference manual, 2. print. ed. Addison-Wesley, Boston, Mass. [u.a.].

American Psychological Association 7th edition

Holzmann, G. J. (ca. 2005). The spin model checker : primer and reference manual (2. print.) [Book]. Addison-Wesley.

Springer - Basic (author-date)

Holzmann GJ (2005) The spin model checker : primer and reference manual, 2. print. Addison-Wesley, Boston, Mass. [u.a.]

Juristische Zitierweise (Stüber) (Deutsch)

Holzmann, Gerard J., The spin model checker : primer and reference manual, 2. print. , Boston, Mass. [u.a.] 2005.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.