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

HOLZMANN, Gerard J., 2011. The SPIN model checker : primer and reference manual. Boston [u.a.]: Addison-Wesley. ISBN 9780321773715.

Elsevier - Harvard (with titles)

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

American Psychological Association 7th edition

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

Springer - Basic (author-date)

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

Juristische Zitierweise (Stüber) (Deutsch)

Holzmann, Gerard J., The SPIN model checker : primer and reference manual, Boston [u.a.] 2011.

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