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

HOLZMANN, Gerard J., 2006. The spin model checker : primer and reference manual. 3. print. Boston [u.a.]: Addison-Wesley. ISBN 0321228626.

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

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

Juristische Zitierweise (Stüber) (Deutsch)

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

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