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

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

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

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

Juristische Zitierweise (Stüber) (Deutsch)

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

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